update rk3568 config file

Author: Josen-B

Cargo.lock

@@ -21,25 +21,28 @@ phys_cpu_sets = [1]
 # The entry point of the kernel image.
 entry_point = 0x7008_0000
 # The location of image: "memory" | "fs".
-# Load from file system.
+# Load from memory.
 image_location = "memory"
 # The load address of the kernel image.
 kernel_load_addr = 0x7008_0000
 ## The file path of the kernel image.
-kernel_path = "/code/axvisor/axboard_test/config/rk3568-arceos/arceos.bin"
+kernel_path = "/path/arceos-aarch64-dyn.bin"
 ## The file path of the device tree blob (DTB).
 dtb_load_addr = 0x7000_0000
-dtb_path = "/code/axvisor/axboard_test/config/rk3568-arceos/arceos-rk3568.dtb"
+dtb_path = "/path/arceos-rk3568.dtb"
 # Memory regions with format (`base_paddr`, `size`, `flags`, `map_type`).
 # For `map_type`, 0 means `MAP_ALLOC`, 1 means `MAP_IDENTICAL`.
-memory_regions = []
+memory_regions = [
+  [0x7000_0000, 0x1000_0000, 0x7, 0], # System RAM 1G MAP_IDENTICAL
+]
 
 #
 # Device specifications
 #
 [devices]
-# Emu_devices.
+# The interrupt mode.
 interrupt_mode = "passthrough"
+# Emu_devices.
 # Name Base-Ipa Ipa_len Alloc-Irq Emu-Type EmuConfig.
 emu_devices = []
 

configs/vms/arceos-aarch64-rk3568-smp1.toml

@@ -21,29 +21,27 @@ phys_cpu_sets = [1, 2]
 # The entry point of the kernel image.
 entry_point = 0x7008_0000
 # The location of image: "memory" | "fs".
-# Load from file system.
+# Load from memory.
 image_location = "memory"
 # The load address of the kernel image.
 kernel_load_addr = 0x7008_0000
 ## The file path of the kernel image.
-kernel_path = "/guest/arceos-aarch64-rk3568_smp2.bin"
+kernel_path = "/path/arceos-aarch64-dyn.bin"
 ## The file path of the device tree blob (DTB).
 dtb_load_addr = 0x7000_0000
-dtb_path = "/guest/arceos-aarch64-rk3568_smp2.dtb"
+dtb_path = "/path/arceos-aarch64-rk3568_smp2.dtb"
 # Memory regions with format (`base_paddr`, `size`, `flags`, `map_type`).
 # For `map_type`, 0 means `MAP_ALLOC`, 1 means `MAP_IDENTICAL`.
 memory_regions = [
-  # [0x1000_0000, 0x800_0000, 0x7, 0], 
-  # [0x7000_0000, 0x1000_0000, 0x7, 1], # System RAM 1G MAP_IDENTICAL
-  # [0x1_f000_0000, 0x1000_0000 , 0x7, 1], # System RAM 1G MAP_IDENTICAL
-  # [0x600_0000, 0x240_0000, 0x7, 1], # System RAM MAP_IDENTICAL
-  #  [0x1_f000_0000, 0x1000_0000, 0x7, 1], # System RAM MAP_IDENTICAL
+  [0x7000_0000, 0x1000_0000, 0x7, 1], # System RAM 1G MAP_IDENTICAL
 ]
 
 #
 # Device specifications
 #
 [devices]
+# The interrupt mode.
+interrupt_mode = "passthrough"
 # Emu_devices.
 # Name Base-Ipa Ipa_len Alloc-Irq Emu-Type EmuConfig.
 emu_devices = []

configs/vms/arceos-aarch64-rk3568-smp2.toml

@@ -21,28 +21,26 @@ phys_cpu_sets = [1]
 # The entry point of the kernel image.
 entry_point = 0x8008_0000
 # The location of image: "memory" | "fs".
-# Load from file system.
-image_location = "fs"
+# Load from memory.
+image_location = "memory"
 # The load address of the kernel image.
 kernel_load_addr = 0x8008_0000
 ## The file path of the kernel image.
-kernel_path = "/guest/Image"
+kernel_path = "/path/Image"
 ## The file path of the device tree blob (DTB).
 dtb_load_addr = 0x8000_0000
-dtb_path = "/guest/linux-aarch64-rk3568_smp1.dtb"
+dtb_path = "/path/linux-aarch64-rk3568_smp1.dtb"
 # Memory regions with format (`base_paddr`, `size`, `flags`, `map_type`).
 # For `map_type`, 0 means `MAP_ALLOC`, 1 means `MAP_IDENTICAL`.
 memory_regions = [
-  # [0x1000_0000, 0x800_0000, 0x7, 0], 
-  # [0x8000_0000, 0x6000_0000, 0x7, 1], # System RAM 1G MAP_IDENTICAL
-  # [0x1_f000_0000, 0x1000_0000 , 0x7, 1], # System RAM 1G MAP_IDENTICAL
-  # [0x600_0000, 0x240_0000, 0x7, 1], # System RAM MAP_IDENTICAL
-  #  [0x1_f000_0000, 0x1000_0000, 0x7, 1], # System RAM MAP_IDENTICAL
+  [0x8000_0000, 0x6000_0000, 0x7, 1], # System RAM 1G MAP_IDENTICAL
 ]
 #
 # Device specifications
 #
 [devices]
+# The interrupt mode.
+interrupt_mode = "passthrough"
 # Emu_devices.
 # Name Base-Ipa Ipa_len Alloc-Irq Emu-Type EmuConfig.
 emu_devices = []

configs/vms/linux-aarch64-rk3568_smp1.toml

@@ -21,28 +21,26 @@ phys_cpu_sets = [4, 8]
 # The entry point of the kernel image.
 entry_point = 0x8008_0000
 # The location of image: "memory" | "fs".
-# Load from file system.
-image_location = "fs"
+# Load from memory.
+image_location = "memory"
 # The load address of the kernel image.
 kernel_load_addr = 0x8008_0000
 ## The file path of the kernel image.
-kernel_path = "/guest/Image"
+kernel_path = "/code/axvisor/rk3568-linux/Image"
 ## The file path of the device tree blob (DTB).
 dtb_load_addr = 0x8000_0000
-dtb_path = "/guest/linux-aarch64-rk3568_smp2.dtb"
+dtb_path = "/code/axvisor/configs/vms/linux-aarch64-rk3568_smp2.dtb"
 # Memory regions with format (`base_paddr`, `size`, `flags`, `map_type`).
 # For `map_type`, 0 means `MAP_ALLOC`, 1 means `MAP_IDENTICAL`.
 memory_regions = [
-  # [0x1000_0000, 0x800_0000, 0x7, 0], 
-  # [0x8000_0000, 0x6000_0000, 0x7, 1], # System RAM 1G MAP_IDENTICAL
-  # [0x1_f000_0000, 0x1000_0000 , 0x7, 1], # System RAM 1G MAP_IDENTICAL
-  # [0x600_0000, 0x240_0000, 0x7, 1], # System RAM MAP_IDENTICAL
-  #  [0x1_f000_0000, 0x1000_0000, 0x7, 1], # System RAM MAP_IDENTICAL
+  [0x8000_0000, 0x6000_0000, 0x7, 1], # System RAM 1G MAP_IDENTICAL
 ]
 #
 # Device specifications
 #
 [devices]
+# The interrupt mode.
+interrupt_mode = "passthrough"
 # Emu_devices.
 # Name Base-Ipa Ipa_len Alloc-Irq Emu-Type EmuConfig.
 emu_devices = []