Issues

• riscv port tracking issue

  epicriscv
  multikernel/linux#36 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#35 · Filter by author congwang-mk opened on Aug 25, 2026
  1

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

  riscv
  multikernel/linux#34 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#33 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#32 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#31 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#30 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#29 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#28 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#27 · Filter by author congwang-mk opened on Aug 25, 2026

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

  riscv
  multikernel/linux#26 · Filter by author congwang-mk opened on Aug 25, 2026
  1

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

  riscv
  multikernel/linux#25 · Filter by author congwang-mk opened on Aug 25, 2026
  1

• riscv: fence.i entry stub to avoid stale I-cache on re-spawn

  riscv
  multikernel/linux#24 · Filter by author congwang-mk opened on Aug 25, 2026
  1

• riscv: SBI HSM based spawn, confirm-parked and release

  riscv
  multikernel/linux#23 · Filter by author congwang-mk opened on Aug 25, 2026
  1

• riscv: Kconfig, asm/multikernel.h (hartid maps) and arch stubs

  riscv
  multikernel/linux#22 · Filter by author congwang-mk opened on Aug 25, 2026
  1

• arm64 port tracking issue

  arm64epic
  multikernel/linux#21 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: QEMU virt + TF-A test environment, kerf support and docs

  arm64
  multikernel/linux#20 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: SMMU bypass / stage-2 containment for devices assigned to a spawn

  arm64
  multikernel/linux#18 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: forced halt via SDEI, pseudo-NMI SGI, plain SGI fallback

  arm64
  multikernel/linux#17 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: host-proxied ITS for MSI/LPI delivery to spawn kernels

  arm64
  multikernel/linux#16 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: GICv3 tenant mode (no distributor init, restricted SPI domain)

  arm64
  multikernel/linux#15 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: multikernel doorbell SGI (IPI_MULTIKERNEL) and foreign-SGI filtering

  arm64
  multikernel/linux#14 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: instance DTB synthesis (ACPI host) and filtering (DT host)

  arm64
  multikernel/linux#13 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64: KEXEC_TYPE_MULTIKERNEL Image loader, placement in the grant, PoC cleaning

  arm64
  multikernel/linux#12 · Filter by author congwang-mk opened on Aug 25, 2026

• arm64 spawn: halt/restart must CPU_OFF every CPU, secondaries via stock PSCI

  arm64
  multikernel/linux#11 · Filter by author congwang-mk opened on Aug 25, 2026