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
- # Set model tick to 120Mhz. This depends a lot on workstation performance.\r
- gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|120000000\r
+ # Set model tick to 100Mhz. This depends a lot on workstation performance.\r
+ gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|100000000\r
\r
################################################################################\r
#\r
#\r
# Platform Driver\r
#\r
- ArmPlatformPkg/ArmVExpressPkg/ArmFvpDxe/ArmFvpDxe.inf\r
+ ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf\r
OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
\r
#\r