SPECS += sel4
ifneq ($(filter $(SPECS),x86_32 x86_64),)
SPECS += acpi pci ps2 vesa framebuffer
endif