Michael Rüttgers f03ccf86d6 Add support for x86-xen_domu target hace 9 años
..
profiles.mk f03ccf86d6 Add support for x86-xen_domu target hace 9 años
vermagic f03ccf86d6 Add support for x86-xen_domu target hace 9 años