SPECS += genode fiasco x86_32 vesa pci ps2 framebuffer