ArmCpuLib|ArmPkg/Drivers/ArmCpuLib/ArmCortexAEMv8Lib/ArmCortexAEMv8Lib.inf\r
ArmPlatformLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressLibRTSM/ArmVExpressFoundationLib.inf\r
\r
+ # Virtio Support\r
+ VirtioLib|OvmfPkg/Library/VirtioLib/VirtioLib.inf\r
+ VirtioMmioDeviceLib|OvmfPkg/Library/VirtioMmioDeviceLib/VirtioMmioDeviceLib.inf\r
+\r
ArmPlatformSysConfigLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressSysConfigLib/ArmVExpressSysConfigLib.inf\r
\r
TimerLib|ArmPkg/Library/ArmArchTimerLib/ArmArchTimerLib.inf\r
gArmTokenSpaceGuid.PcdVFPEnabled|1\r
\r
# Stacks for MPCores in Secure World (No SRAM on foundation model, put in RAM at 64MB)\r
- gArmPlatformTokenSpaceGuid.PcdCPUCoresSecStackBase|0xA4009000\r
+ gArmPlatformTokenSpaceGuid.PcdCPUCoresSecStackBase|0xA4008000\r
gArmPlatformTokenSpaceGuid.PcdCPUCoreSecPrimaryStackSize|0x1000\r
\r
- # Stacks for MPCores in Monitor Mod (No SRAM on foundation model, put in RAM at 64MB)\r
- gArmPlatformTokenSpaceGuid.PcdCPUCoresSecMonStackBase|0xA4008000\r
- gArmPlatformTokenSpaceGuid.PcdCPUCoreSecMonStackSize|0x100\r
-\r
# Stacks for MPCores in Normal World (No SRAM on foundation model, put in RAM at 64MB)\r
gArmPlatformTokenSpaceGuid.PcdCPUCoresStackBase|0xA4000000\r
gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize|0x4000\r
#\r
gArmTokenSpaceGuid.PcdArmUncachedMemoryMask|0x0000000040000000\r
\r
+ ## Trustzone enable (to make the transition from EL3 to EL2 in ArmPlatformPkg/Sec)\r
+ gArmTokenSpaceGuid.PcdTrustzoneSupport|TRUE\r
+\r
#\r
# ARM PrimeCell\r
#\r
gEfiMdePkgTokenSpaceGuid.PcdUartDefaultBaudRate|38400\r
\r
#\r
- # ARM PL390 General Interrupt Controller\r
+ # ARM General Interrupt Controller\r
#\r
gArmTokenSpaceGuid.PcdGicDistributorBase|0x2C001000\r
gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase|0x2C002000\r
# Versatile Express machine type (ARM VERSATILE EXPRESS = 2272) required for ARM Linux:\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootDescription|L"Linux from SemiHosting"\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/Image"\r
- gArmPlatformTokenSpaceGuid.PcdDefaultBootInitrdPath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/filesystem.cpio.gz"\r
- gArmPlatformTokenSpaceGuid.PcdDefaultBootArgument|"console=ttyAMA0 earlyprintk=pl011,0x1c090000 maxcpus=4 debug user_debug=31 loglevel=9"\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootArgument|"root=/dev/vda2 rw console=ttyAMA0 earlyprintk=pl011,0x1c090000 maxcpus=4 debug user_debug=31 loglevel=9"\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootType|2\r
- gArmPlatformTokenSpaceGuid.PcdFdtDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/fdt.dtb"\r
+ gArmPlatformTokenSpaceGuid.PcdFdtDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/foundation-v8.dtb"\r
\r
# Use the serial console (ConIn & ConOut) and the Graphic driver (ConOut)\r
gArmPlatformTokenSpaceGuid.PcdDefaultConOutPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(38400,8,N,1)/VenPcAnsi();"\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
- # 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
ArmPlatformPkg/Sec/Sec.inf {\r
<LibraryClasses>\r
# Use the implementation which set the Secure bits\r
- ArmGicLib|ArmPkg/Drivers/PL390Gic/PL390GicSecLib.inf\r
+ ArmGicLib|ArmPkg/Drivers/ArmGic/ArmGicSecLib.inf\r
}\r
\r
#\r
\r
MdeModulePkg/Universal/HiiDatabaseDxe/HiiDatabaseDxe.inf\r
\r
- ArmPkg/Drivers/PL390Gic/PL390GicDxe.inf\r
+ ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
MdeModulePkg/Universal/WatchdogTimerDxe/WatchdogTimer.inf\r
\r
#\r
ArmPkg/Filesystem/SemihostFs/SemihostFs.inf\r
\r
+ #\r
+ # Platform Driver\r
+ #\r
+ ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf\r
+ OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
+\r
#\r
# FAT filesystem + GPT/MBR partitioning\r
#\r