temp #25: port to the Intel i219 PCI

README.md

@@ -82,6 +82,11 @@ $ kbuild patch remove axstarry
 
 ```
 
+## Build kernel image which will run on Intel I219
+```sh
+$ make A=apps/monolithic_userboot FEATURES=img,sched_rr,e1000_net LOG=debug ACCEL=n APP_FEATURES=batch NET=y BLK=y PLATFORM=x86_64-pc-oslab build
+```
+
 ## Notes
 
 - Please remove unnecessary dependencies in `Cargo.toml` before your commit.

platforms/x86_64-pc-oslab.toml

@@ -21,17 +21,32 @@ mmio-regions = [
     ["0xfec0_0000", "0x1000"],      # IO APIC
     ["0xfed0_0000", "0x1000"],      # HPET
     ["0xfee0_0000", "0x1000"],      # Local APIC
-    ["0xf000_0000", "0x0800_0000"], # PCI config space
+    ["0xc000_0000", "0x0100_0000"], # PCI config space
     ["0xfcd8_0000", "0x0008_0000"], # Ixgbe BAR0
 ]
 # VirtIO MMIO regions with format (`base_paddr`, `size`).
 virtio-mmio-regions = []
 # Base physical address of the PCIe ECAM space (should read from ACPI 'MCFG' table).
-pci-ecam-base = "0xf000_0000"
+pci-ecam-base = "0xc000_0000"
 # End PCI bus number.
-pci-bus-end = "0x7f"
+pci-bus-end = "0x01"
 # PCI device memory ranges (not used on x86).
 pci-ranges = []
 
 # Timer interrupt frequencyin Hz.
 timer-frequency = "4_000_000_000"   # 4.0GHz
+
+# Testcase memory start address.
+testcase-memory-start = "0x1_8000_0000"
+# Testcase memory size.
+testcase-memory-size = "0x1700_0000"
+# The base address of the user heap.
+user-heap-base = "0x3FA0_0000"
+# The base address of the user stack. And the stack bottom is `user-stack-top + max-user-stack-size`.
+user-stack-top = "0x3FE0_0000"
+# The size of the user heap.
+max-user-heap-size = "0x40_0000"
+# The size of the user stack.
+max-user-stack-size = "0x20_0000"
+# The base address of the signal trampoline.
+signal-trampoline = "0x4000_0000"