|
| 1 | +# Architecture identifier. |
| 2 | +arch = "x86_64" # str |
| 3 | +# Platform identifier. |
| 4 | +plat = "x86_64-qemu-q35" # str |
| 5 | +# Number of CPUs |
| 6 | +smp = 1 # uint |
| 7 | + |
| 8 | +# |
| 9 | +# Kernel configs |
| 10 | +# |
| 11 | +[kernel] |
| 12 | +# Stack size of each task. |
| 13 | +task-stack-size = 0 # uint |
| 14 | +# Number of timer ticks per second (Hz). A timer tick may contain several timer |
| 15 | +# interrupts. |
| 16 | +ticks-per-sec = 0 # uint |
| 17 | + |
| 18 | +# |
| 19 | +# Platform configs |
| 20 | +# |
| 21 | +[platform] |
| 22 | +# Base address of the whole physical memory. |
| 23 | +phys-memory-base = 0 # uint |
| 24 | +# Size of the whole physical memory. |
| 25 | +phys-memory-size = 0x800_0000 # uint |
| 26 | +# Base physical address of the kernel image. |
| 27 | +kernel-base-paddr = 0x20_0000 # uint |
| 28 | +# Base virtual address of the kernel image. |
| 29 | +kernel-base-vaddr = "0xffff_ff80_0020_0000" # uint |
| 30 | +# Linear mapping offset, for quick conversions between physical and virtual |
| 31 | +# addresses. |
| 32 | +phys-virt-offset = "0xffff_ff80_0000_0000" # uint |
| 33 | +# Offset of bus address and phys address. some boards, the bus address is |
| 34 | +# different from the physical address. |
| 35 | +phys-bus-offset = 0 # uint |
| 36 | +# Kernel address space base. |
| 37 | +kernel-aspace-base = "0xffff_ff80_0000_0000" # uint |
| 38 | +# Kernel address space size. |
| 39 | +kernel-aspace-size = "0x0000_007f_ffff_f000" # uint |
| 40 | +# Timer interrupt frequencyin Hz. |
| 41 | +timer-frequency = 0 # uint |
| 42 | + |
| 43 | +# |
| 44 | +# Device specifications |
| 45 | +# |
| 46 | +[device] |
| 47 | +# MMIO regions with format (`base_paddr`, `size`). |
| 48 | +mmio-regions = [ |
| 49 | + ["0xb000_0000", "0x1000_0000"], # PCI config space |
| 50 | + ["0xfe00_0000", "0xc0_0000"], # PCI devices |
| 51 | + ["0xfec0_0000", "0x1000"], # IO APIC |
| 52 | + ["0xfed0_0000", "0x1000"], # HPET |
| 53 | + ["0xfee0_0000", "0x1000"], # Local APIC |
| 54 | +] # [(uint, uint)] |
| 55 | +# VirtIO MMIO regions with format (`base_paddr`, `size`). |
| 56 | +virtio-mmio-regions = [] # [(uint, uint)] |
| 57 | +# Base physical address of the PCIe ECAM space (should read from ACPI 'MCFG' table). |
| 58 | +pci-ecam-base = 0 # uint |
| 59 | +# End PCI bus number. |
| 60 | +pci-bus-end = 0 # uint |
| 61 | +# PCI device memory ranges (not used on x86). |
| 62 | +pci-ranges = [] # [(uint, uint)] |
0 commit comments