DEFINE DEBUG_PRINT_ERROR_LEVEL = 0x8000004F\r
DEFINE TTY_TERMINAL = FALSE\r
\r
-[BuildOptions.common.EDKII.DXE_DRIVER,BuildOptions.common.EDKII.UEFI_DRIVER,BuildOptions.common.EDKII.UEFI_APPLICATION]\r
+[BuildOptions.common.EDKII.DXE_CORE,BuildOptions.common.EDKII.DXE_DRIVER,BuildOptions.common.EDKII.UEFI_DRIVER,BuildOptions.common.EDKII.UEFI_APPLICATION]\r
GCC:*_*_*_DLINK_FLAGS = -z common-page-size=0x1000\r
\r
[BuildOptions.common.EDKII.DXE_RUNTIME_DRIVER]\r