@@ -19,9 +19,6 @@ phys-memory-size = 0x800_0000 # uint
1919kernel-base-paddr = 0x4020_0000 # uint
2020# Base virtual address of the kernel image.
2121kernel-base-vaddr = " 0xffff_0000_4020_0000" # uint
22- # Linear mapping offset, for quick conversions between physical and virtual
23- # addresses.
24- phys-virt-offset = " 0xffff_0000_0000_0000" # uint
2522# Offset of bus address and phys address. some boards, the bus address is
2623# different from the physical address.
2724phys-bus-offset = 0 # uint
@@ -35,22 +32,12 @@ boot-stack-size = 0x40000 # uint
3532dma-mem-base = 0x40000000 # uint
3633# DMA memory size.
3734dma-mem-size = 0x200_000 # uint
38- # PSCI
39- psci-method = " hvc" # str
4035
4136#
4237# Device specifications
4338#
4439[devices ]
4540# MMIO ranges with format (`base_paddr`, `size`).
46- mmio-ranges = [
47- [0x0900_0000 , 0x1000 ], # PL011 UART
48- [0x0910_0000 , 0x1000 ], # PL031 RTC
49- [0x0800_0000 , 0x2_0000 ], # GICv2
50- [0x0a00_0000 , 0x4000 ], # VirtIO
51- [0x1000_0000 , 0x2eff_0000 ], # PCI memory ranges (ranges 1: 32-bit MMIO space)
52- [0x40_1000_0000 , 0x1000_0000 ], # PCI config space
53- ] # [(uint, uint)]
5441# VirtIO MMIO ranges with format (`base_paddr`, `size`).
5542virtio-mmio-ranges = [
5643 [0x0a00_0000 , 0x200 ],
@@ -96,21 +83,6 @@ pci-ranges = [
9683 [0x1000_0000 , 0x2eff_0000 ], # 32-bit MMIO space
9784 [0x80_0000_0000 , 0x80_0000_0000 ], # 64-bit MMIO space
9885] # [(uint, uint)]
99- # UART Address
100- uart-paddr = 0x0900_0000 # uint
101- # UART IRQ number (SPI, 1)
102- uart-irq = 33 # uint
103- # Timer interrupt num (PPI, physical timer).
104- timer-irq = 30 # uint
105- # IPI interrupt num
106- ipi-irq = 1 # uint
107- # PMU interrupt num
108- pmu-irq = 23 # uint
109-
110- # GIC CPU Interface base address
111- gicc-paddr = 0x0801_0000 # uint
112- # GIC Distributor base address
113- gicd-paddr = 0x0800_0000 # uint
11486
11587# pl031@9010000 {
11688# clock-names = "apb_pclk";
0 commit comments