TARGET=RELEASE
X64EMU_ENABLE=TRUE
MAU_SUPPORTS_AARCH64_BINS=YES
COREBOOT_LOGLEVEL=4
OPENSBI_FW_OPTIONS=1
EDK2_DEBUG_PRINT_ERROR_LEVEL=0x80000002
