All issues

riscv port tracking issue

#36

· congwang-mk opened

on Aug 25, 2026

riscv: QEMU virt + OpenSBI test environment, kerf support and docs

#35

· congwang-mk opened

on Aug 25, 2026

riscv: spinwait / M-mode fallback park page (optional)

#34

· congwang-mk opened

on Aug 25, 2026

riscv: OpenSBI domains, diagnose unreachable harts and document static-partition mode

#33

· congwang-mk opened

on Aug 25, 2026

riscv: IOMMU bypass / second-stage containment for assigned devices

#32

· congwang-mk opened

on Aug 25, 2026

riscv: forced halt, best-effort IPI now, SBI SSE when available

#31

· congwang-mk opened

on Aug 25, 2026

riscv: APLIC tenant mode and per-hart IMSIC MSI for spawn kernels

#30

· congwang-mk opened

on Aug 25, 2026

riscv: PLIC tenant mode (own contexts, granted sources only)

#29

· congwang-mk opened

on Aug 25, 2026

riscv: multikernel doorbell (IMSIC identity or SBI IPI convention)

#28

· congwang-mk opened

on Aug 25, 2026

riscv: instance DTB filtering (DT host), synthesis for ACPI hosts later

#27

· congwang-mk opened

on Aug 25, 2026

riscv: KEXEC_TYPE_MULTIKERNEL Image loader, placement in the grant, no purgatory

#26

· congwang-mk opened

on Aug 25, 2026

riscv spawn: halt/reboot must HART_STOP every hart, never SRST

#25

· congwang-mk opened

on Aug 25, 2026