# Defines for default states. These can be changed on the command line.\r
# -D FLAG=VALUE\r
#\r
+ DEFINE TTY_TERMINAL = FALSE\r
DEFINE SECURE_BOOT_ENABLE = FALSE\r
DEFINE NETWORK_IP6_ENABLE = FALSE\r
DEFINE HTTP_BOOT_ENABLE = FALSE\r
## 0-PCANSI, 1-VT100, 2-VT00+, 3-UTF8, 4-TTYTERM\r
!if $(TTY_TERMINAL) == TRUE\r
gEfiMdePkgTokenSpaceGuid.PcdDefaultTerminalType|4\r
+ # Set terminal type to TtyTerm, the value encoded is EFI_TTY_TERM_GUID\r
+ gArmVirtTokenSpaceGuid.PcdTerminalTypeGuidBuffer|{0x80, 0x6d, 0x91, 0x7d, 0xb1, 0x5b, 0x8c, 0x45, 0xa4, 0x8f, 0xe2, 0x5f, 0xdd, 0x51, 0xef, 0x94}\r
!else\r
gEfiMdePkgTokenSpaceGuid.PcdDefaultTerminalType|1\r
!endif\r