Add configuration for Linux guest VM on Orange Pi 5 Plus (#75)

* Add configuration for Linux guest VM on Orange Pi 5 Plus

This commit introduces a new TOML configuration file for a Linux guest virtual machine running on the Orange Pi 5 Plus platform. The configuration includes settings for VM base info, kernel parameters, memory regions, and device specifications. Key features include:

- VM identification and naming
- CPU and memory configuration
- Kernel image loading details
- Device specifications for emulated and passthrough devices

This setup aims to facilitate the deployment and management of a Linux environment on the specified hardware.

* refactor: improve code formatting for readability in multiple files

Author: YanLien

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

@@ -0,0 +1,63 @@
+# Vm base info configs
+#
+[base]
+# Guest vm id.
+id = 1
+# Guest vm name.
+name = "arceos"
+# Virtualization type.
+vm_type = 1
+# The number of virtual CPUs.
+cpu_num = 1
+# The physical CPU ids.
+phys_cpu_ids = [0x200]
+
+#
+# Vm kernel configs
+#
+[kernel]
+# The entry point of the kernel image.
+entry_point = 0x4008_0000
+# The location of image: "memory" | "fs".
+# Load from memory.
+image_location = "memory"
+# The load address of the kernel image.
+kernel_load_addr = 0x4008_0000
+## The file path of the kernel image.
+kernel_path = "../images/orangepi_arceos/orangepi-5-plus"
+## The file path of the device tree blob (DTB).
+dtb_load_addr = 0x4000_0000
+#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 = [
+  [0x4000_0000, 0x4000_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 = []
+
+# Pass-through devices.
+# Name Base-Ipa Base-Pa Length Alloc-Irq.
+passthrough_devices = [
+    ["/"],
+    #["/timer"],
+]
+
+# Passthrough addresses.
+# Base-GPA  Length.
+passthrough_addresses = [
+    #[0x28041000, 0x100_0000]
+]
+
+# Devices that are not desired to be passed through to the guest
+excluded_devices = [
+   # ["/gic-v3"],
+]