ifeq ("$(CONFIG_ACPI)","y")
SOURCES += src/platform/efi/acpi.cc
endif
