SPECS += genode hw

ifeq ($(filter-out $(SPECS),x86_64),)
SPECS += pci ps2 vesa framebuffer

ifneq ($(filter-out $(SPECS),muen),)
SPECS += acpi x86_pc
endif

endif