|
| 1 | +# Architecture identifier. |
| 2 | +arch = "aarch64" # str |
| 3 | +# Platform package. |
| 4 | +package = "axplat-aarch64-roc-rk3568-pc" # str |
| 5 | +# Platform identifier. |
| 6 | +platform = "aarch64-roc-rk3568-pc" # str |
| 7 | + |
| 8 | +# |
| 9 | +# Device specifications |
| 10 | +# |
| 11 | +[devices] |
| 12 | +# MMIO regions with format (`base_paddr`, `size`). |
| 13 | +mmio-regions = [] # [(uint, uint)] |
| 14 | +# End PCI bus number. |
| 15 | +pci-bus-end = 0 # uint |
| 16 | +# Base physical address of the PCIe ECAM space. |
| 17 | +pci-ecam-base = 0 # uint |
| 18 | +# PCI device memory ranges. |
| 19 | +pci-ranges = [] # [(uint, uint)] |
| 20 | +# Timer interrupt num (PPI, physical timer). |
| 21 | +timer-irq = 26 # uint |
| 22 | +# VirtIO MMIO regions with format (`base_paddr`, `size`). |
| 23 | +virtio-mmio-regions = [] # [(uint, uint)] |
| 24 | + |
| 25 | +# |
| 26 | +# Platform configs |
| 27 | +# |
| 28 | +[plat] |
| 29 | +# Platform family (deprecated). |
| 30 | +family = "" # str |
| 31 | +# Number of CPUs. |
| 32 | +cpu-num = 1 # uint |
| 33 | +# No need. |
| 34 | +phys-memory-base = 0 # uint |
| 35 | +# No need. |
| 36 | +phys-memory-size = 0x0 # uint |
| 37 | +# No need. |
| 38 | +kernel-base-paddr = 0x0 # uint |
| 39 | +# Base virtual address of the kernel image. |
| 40 | +kernel-base-vaddr = "0x8000_0000_0000" # uint |
| 41 | +# No need. |
| 42 | +phys-virt-offset = "0" # uint |
| 43 | +# Offset of bus address and phys address. some boards, the bus address is |
| 44 | +# different from the physical address. |
| 45 | +phys-bus-offset = 0 # uint |
| 46 | +# Kernel address space base. |
| 47 | +kernel-aspace-base = "0x0000_0000_0000" # uint |
| 48 | +# Kernel address space size. |
| 49 | +kernel-aspace-size = "0xffff_ffff_f000" # uint |
0 commit comments