- # Versatile Express machine type (ARM VERSATILE EXPRESS = 2272) required for ARM Linux: \r
- gArmTokenSpaceGuid.PcdArmMachineType|2272\r
- gArmTokenSpaceGuid.PcdLinuxKernelDP|L"VenHw(02118005-9DA7-443a-92D5-781F022AEDBB)/MemoryMapped(0,0x46000000,0x46400000)"\r
- gArmTokenSpaceGuid.PcdLinuxAtag|"rdinit=/bin/ash debug earlyprintk console=ttyAMA0,38400 mem=1G"\r
- gArmTokenSpaceGuid.PcdFdtDP|L""\r
+ gArmTokenSpaceGuid.PcdArmMachineType|827\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootDescription|L"SemiHosting"\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/zImage-RTSM"\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootArgument|""\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootType|1\r
+ \r
+ # Use the Serial console (ConIn & ConOut) and the Graphic driver (ConOut)\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultConOutPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(115200,8,N,1)/VenPcAnsi();VenHw(407B4008-BF5B-11DF-9547-CF16E0D72085)"\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultConInPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(115200,8,N,1)/VenPcAnsi()"\r
+ gArmPlatformTokenSpaceGuid.PcdPlatformBootTimeOut|10\r