| # Arch |
| CONFIG_ARCH_X86=y |
| CONFIG_ARCH_X86_AMD64=y |
| |
| CONFIG_EXTRA_CFLAGS="-fpie -fshort-wchar -mno-red-zone -DEFIAPI='__attribute__((ms_abi))'" |
| |
| CONFIG_HOSTED=y |
| CONFIG_MAX_MEM_RANGES=128 |
| |
| # Board |
| CONFIG_BOARD="uefi" |
| |
| # Image |
| CONFIG_BOOTPLAN_UEFI=y |
| CONFIG_BOOTPLAN_UEFI_MODEL="UEFI" |
| |
| CONFIG_IMAGE_HWID="UEFI TEST" |
| |
| # Vboot |
| CONFIG_MOCK_TPM=y |
| CONFIG_DISABLE_LEGACY_BOOT=y |
| CONFIG_NV_STORAGE_GENERIC=y |
| |
| # Kernel format |
| CONFIG_KERNEL_ZIMAGE=y |
| CONFIG_TARGET_OS_MAGENTA=y |
| |
| # Drivers |
| CONFIG_DRIVER_BLOCKDEV_UEFI=y |
| CONFIG_DRIVER_CONSOLE_CBMEM=y |
| CONFIG_DRIVER_CONSOLE_DISPLAY=y |
| CONFIG_DRIVER_CONSOLE_UEFI=y |
| CONFIG_DRIVER_DISPLAY_FRAMEBUFFER=y |
| CONFIG_DRIVER_FRAMEBUFFER_UEFI=y |
| CONFIG_DRIVER_LAYOUT_UEFI=y |
| CONFIG_DRIVER_NET_UEFI=y |
| CONFIG_DRIVER_POWER_UEFI=y |
| CONFIG_DRIVER_STORAGE_FWDB=y |
| CONFIG_DRIVER_STORAGE_UEFI_NV=y |
| CONFIG_DRIVER_TIMER_RDTSC=y |