Hi There Guys. I noted that there are only config files related only to XENDOMU, but not to XENDOM0, is that on porpuse or is there a speficic way to compile my custom XENDOM0 kernel? or should I include the XENDOMU in my custom kernel config file? Thanks for your time and support. Regards.