You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
riscv: QEMU virt + OpenSBI test environment, kerf support and docs #35
kerf support for RISC-V: Image loading, DTB handling, hartid-based CPU names (sparse hartids).
Scripted smoke test: spawn on 2 harts, ring round-trip, graceful halt (all harts STOPPED), poweroff/reboot inside the spawn leaves the host alive, 50x re-spawn loop (I-cache stub), hart hot-add to a running spawn.
Docs: RISC-V section in Documentation/multikernel/usage.rst, including the fence.i stub rationale and the SRST hazard.
Hardware after QEMU: SG2042 (Milk-V Pioneer: 64 harts, PLIC, PCIe) for the PLIC path at a scale where multikernel matters.
Activity
nickolaev commentedon Aug 26, 2026
@congwang-mk I would like to take this one
I already have my test/harness environment which covers some of the requirements here
https://github.com/nickolaev/multikernel
Would it make sense to bootstrap a separate project under github.com/multikernel? Naming is hard but here is a suggestion
virt-mk?