ArceOS-Hypervisor Supported GuestVMs

NimbOS

Simple real time guest VM that can only be used for single-core testing
It supports the x86_64, aarch64, and riscv64 architectures
Configuration file templates at nimbos-aarch64.toml, nimbos-x86_64.toml, and nimbos-riscv64.toml
Kernel binary images availble at nimbos/releases

ArceOS

Used for SMP testing
It supports the x86_64, aarch64, and riscv64 architectures
Configuration file templates at arceos-aarch64.toml, arceos-x86_64.toml, and arceos-riscv64.toml

Testcases

Hypercall:
- ArceOS HelloWorld application that can be used to test hypercall functionality is provided here
- Just run make A=examples/helloworld ARCH=[x86_64|aarch64|riscv64] build to get binary images
virtio-pci-devices (PCI):
- Branch (pci_pio)[https://github.com/hky1999/arceos/tree/pci_pio] can be used for virtio-pci devices testing (PCI device probed through port I/O)

axvm-bios

A extremely simple bios for x86_64 guests
It can act as a bootloader for NimbOS and ArceOS
Binary product available at here

ArceOS-Hypervisor in RK3588 board

How to run ArceOS on rk3588

Prepare your kernal file linux-rk3588-aarch64.bin and DTB file rk3588.dtb.

Set the kernel path and DTB path in the configuration file configs/linux-rk3588-aarch64.toml.

image_location = "memory"
kernel_path = "/path/to/linux-rk3588-aarch64.bin"
dtb_path = "/path/to/rk3588.dtb"

Use Command make A=(pwd) ARCH=aarch64 VM_CONFIGS=configs/linux-rk3588-aarch64.toml kernel to build the kernel image boot.img.
Download the RKDevTool.

This tool has only been tested on Pji's Electronic Control Unit of RK3588. Other RK3588 development boards require independent testing.
Set the path of boot.img in boot and connect the RK3588 board.
Press the Run button to flash the image to the RK3588 board.