这里列出了一些可以在基于K210 CPU的Sipeed MAIX Dock开发板或QEMU(rv64)上运行的开源OS:
- nommu linux 0.11
- C lang based xv6 kernel
- Rust lang based xv6 kernel
- Rust based rcore tutorial kernel
- C lang based xv6 on x86
- C lang based xv6 on risc-v
- Rust based blogos on x86
- Rust based osblog on x86
- C/Rust based os kernel lab
这里列出符合SBI接口的开源固件
- qemu
- Spike RISC-V ISA Simulator
- rvemu: simple, on web
- riscv-rust: on web, with debug
- TinyEMU: simple
- rv8: fast
- terminus:multicore,virtio-net/disk/mouse/console...
- Rips : with nice gui interface...