| EFI_GENERATE_SYM_FILE = NO | |
| EFI_DEBUG = NO | |
| EFI_DEBUG_CLEAR_MEMORY = NO | |
| EFI_PEI_PERFORMANCE = YES | |
| EFI_DXE_PERFORMANCE = YES | |
| EFI_SYMBOLIC_DEBUG = NO | |
| EFI_USE_NEW_SHELL_BIN = NO | |
| EFI_GENERATE_INTERMEDIATE_FILE = NO | |
| EFI_READ_DISABLED_CAP = TRUE | |
| EFI_READ_ENABLED_CAP = TRUE | |
| EFI_READ_STATUS = TRUE | |
| EFI_WRITE_DISABLED_CAP = TRUE | |
| EFI_WRITE_ENABLED_CAP = TRUE | |
| EFI_WRITE_STATUS = TRUE | |
| EFI_LOCK_CAP = TRUE | |
| EFI_STICKY_WRITE = TRUE | |
| EFI_MEMORY_MAPPED = TRUE | |
| EFI_ALIGNMENT_CAP = TRUE | |
| EFI_ALIGNMENT_2 = TRUE | |
| EFI_ALIGNMENT_4 = TRUE | |
| EFI_ALIGNMENT_8 = TRUE | |
| EFI_ALIGNMENT_16 = TRUE | |
| EFI_ALIGNMENT_32 = TRUE | |
| EFI_ALIGNMENT_64 = TRUE | |
| EFI_ALIGNMENT_128 = TRUE | |
| EFI_ALIGNMENT_256 = TRUE | |
| EFI_ALIGNMENT_512 = TRUE | |
| EFI_ALIGNMENT_1K = TRUE | |
| EFI_ALIGNMENT_2K = TRUE | |
| EFI_ALIGNMENT_4K = TRUE | |
| EFI_ALIGNMENT_8K = TRUE | |
| EFI_ALIGNMENT_16K = TRUE | |
| EFI_ALIGNMENT_32K = TRUE | |
| EFI_ALIGNMENT_64K = TRUE |