SPECS += genode pistachio x86_32 vesa pci ps2 framebuffer