1+ # Architecture identifier.
2+ arch = " arm" # str
3+ # Platform identifier.
4+ platform = " arm-qemu-virt" # str
5+ # Platform package.
6+ package = " axplat-arm-qemu-virt" # str
7+
8+ #
9+ # Platform configs
10+ #
11+ [plat ]
12+ # Number of CPUs.
13+ cpu-num = 1 # uint
14+ # Base address of the whole physical memory.
15+ phys-memory-base = 0x4000_0000 # uint
16+ # Size of the whole physical memory. (128M)
17+ phys-memory-size = 0x800_0000 # uint
18+ # Base physical address of the kernel image.
19+ kernel-base-paddr = 0x4001_0000 # uint
20+ # Base virtual address of the kernel image.
21+ kernel-base-vaddr = " 0x4001_0000" # uint
22+ # Linear mapping offset, for quick conversions between physical and virtual
23+ # addresses.
24+ phys-virt-offset = " 0x0000" # uint
25+ # Offset of bus address and phys address. some boards, the bus address is
26+ # different from the physical address.
27+ phys-bus-offset = 0 # uint
28+ # Kernel address space base.
29+ kernel-aspace-base = " 0x0000" # uint
30+ # Kernel address space size.
31+ kernel-aspace-size = " 0xffff_f000" # uint
32+ # Stack size on bootstrapping. (256K)
33+ boot-stack-size = 0x40000 # uint
34+
35+ # PSCI
36+ psci-method = " hvc" # str
37+
38+ #
39+ # Device specifications
40+ #
41+ [devices ]
42+ # MMIO ranges with format (`base_paddr`, `size`).
43+ mmio-ranges = [
44+ [0x0900_0000 , 0x1000 ], # PL011 UART
45+ [0x0910_0000 , 0x1000 ], # PL031 RTC
46+ [0x0800_0000 , 0x2_0000 ], # GICv2
47+ [0x0a00_0000 , 0x4000 ], # VirtIO
48+ [0x1000_0000 , 0x2eff_0000 ], # PCI memory ranges (ranges 1: 32-bit MMIO space)
49+ ] # [(uint, uint)]
50+ # VirtIO MMIO ranges with format (`base_paddr`, `size`).
51+ virtio-mmio-ranges = [
52+
53+ ] # [(uint, uint)]
54+ # Base physical address of the PCIe ECAM space.
55+ pci-ecam-base = 0x40_1000_0000 # uint
56+ # End PCI bus number (`bus-range` property in device tree).
57+ pci-bus-end = 0xff # uint
58+ # PCI device memory ranges (`ranges` property in device tree).
59+ pci-ranges = [
60+ [0x3ef_f0000 , 0x1_0000 ], # PIO space
61+ [0x1000_0000 , 0x2eff_0000 ], # 32-bit MMIO space
62+ ] # [(uint, uint)]
63+ # UART Address
64+ uart-paddr = 0x0900_0000 # uint
65+ # UART IRQ number (SPI, 1)
66+ uart-irq = 33 # uint
67+ # Timer interrupt num (PPI, physical timer).
68+ timer-irq = 30 # uint
69+ # IPI interrupt num
70+ ipi-irq = 1 # uint
71+
72+ # GIC CPU Interface base address
73+ gicc-paddr = 0x0801_0000 # uint
74+ # GIC Distributor base address
75+ gicd-paddr = 0x0800_0000 # uint
76+
77+ # pl031@9010000 {
78+ # clock-names = "apb_pclk";
79+ # clocks = <0x8000>;
80+ # interrupts = <0x00 0x02 0x04>;
81+ # reg = <0x00 0x9010000 0x00 0x1000>;
82+ # compatible = "arm,pl031\0arm,primecell";
83+ # };
84+ # RTC (PL031) Address
85+ rtc-paddr = 0x901_0000 # uint
0 commit comments