TARGET=DEBUG
X64EMU_ENABLE=TRUE
MAU_SUPPORTS_AARCH64_BINS=YES
COREBOOT_LOGLEVEL=7
OPENSBI_FW_OPTIONS=0
EDK2_DEBUG_PRINT_ERROR_LEVEL=0x80000047
