@@ -12,24 +12,26 @@ phys-memory-size = "0x800_0000" # 128M
1212# Base physical address of the kernel image.
1313kernel-base-paddr = " 0x20_0000"
1414# Base virtual address of the kernel image.
15- kernel-base-vaddr = " 0xffff_ff80_0020_0000 "
15+ kernel-base-vaddr = " 0xffff_8000_0020_0000 "
1616# Linear mapping offset, for quick conversions between physical and virtual
1717# addresses.
18- phys-virt-offset = " 0xffff_ff80_0000_0000 "
18+ phys-virt-offset = " 0xffff_8000_0000_0000 "
1919# Offset of bus address and phys address. some boards, the bus address is
2020# different from the physical address.
2121phys-bus-offset = " 0"
2222# Kernel address space base.
23- kernel-aspace-base = " 0xffff_ff80_0000_0000 "
23+ kernel-aspace-base = " 0xffff_8000_0000_0000 "
2424# Kernel address space size.
25- kernel-aspace-size = " 0x0000_007f_ffff_f000 "
25+ kernel-aspace-size = " 0x0000_7fff_ffff_f000 "
2626# MMIO regions with format (`base_paddr`, `size`).
2727mmio-regions = [
2828 [" 0xb000_0000" , " 0x1000_0000" ], # PCI config space
2929 [" 0xfe00_0000" , " 0xc0_0000" ], # PCI devices
3030 [" 0xfec0_0000" , " 0x1000" ], # IO APIC
3131 [" 0xfed0_0000" , " 0x1000" ], # HPET
3232 [" 0xfee0_0000" , " 0x1000" ], # Local APIC
33+ [" 0xc000000000" , " 0x4000" ], # PCI devices
34+ [" 0x380000000000" , " 0x4000" ] # PCI devices
3335]
3436# VirtIO MMIO regions with format (`base_paddr`, `size`).
3537virtio-mmio-regions = []
0 commit comments