gArmTokenSpaceGuid.PcdArmMachineType|2272\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootDescription|L"SemiHosting"\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/zImage"\r
- gArmPlatformTokenSpaceGuid.PcdDefaultBootArgument|""\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootType|2\r
gArmPlatformTokenSpaceGuid.PcdFdtDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/rtsm_ve-cortex_a15x1.dtb"\r
\r
gArmPlatformTokenSpaceGuid.PcdDefaultConInPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(38400,8,N,1)/VenPcAnsi()"\r
\r
#\r
- # ARM Architectual Timer Frequency\r
+ # ARM Architectural Timer Frequency\r
#\r
- gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|60000000\r
- \r
- \r
+ gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|100000000\r
+\r
+\r
################################################################################\r
#\r
# Components Section - list of all EDK II Modules needed by this Platform\r