Koros — 四架构 Rust 微内核架构

9 crate 分层组合式设计 · Runtime Trait-Object Dispatch

Binary Crates(组合根) koros 内核二进制 · composition root korhv Type-1 Hypervisor 二进制 kor-arch 4 架构 boot/trap/mm/smp/time/ic kor-sched 抢占式多核调度 + 同步原语 kor-ext2 ext2 读写 + symlink/xattr kor-ramfs 内存文件系统 kor-fs VFS · 块缓存 · 挂载表 · fd · 路径解析 kor-frame Buddy 物理帧分配 · 4K/2M kor-alloc 7-class Slab 堆 · #[global_allocator] kor ArchProvider · InterruptController · VFS traits · TrapCallbacks · BlockDevice verified/ Verus 形式化验证 硬件 / QEMU riscv64 · x86_64 · aarch64 · loongarch64 install() init + spawn register FS impl ArchProvider TaskContext INode · SuperBlock block_cache regions · phys_to_virt 大对象回退 boot/trap/mm 驱动 Verus Legend Frontend Backend Database Security Cloud

ArchProvider Trait

  • • install() 注册到 spin::Once 全局
  • • current() 返回 &'static dyn ArchProvider
  • • 共享 crate 中零 #[cfg(target_arch)]
  • • 4 架构: riscv64/x86_64/aarch64/loongarch64

已实现能力

  • • 抢占式多核调度 (SMP)
  • • ext2 读写 + ramfs
  • • Virtio MMIO/PCI 块设备
  • • Blocking sync: Mutex/Channel/Semaphore
  • • FDT 驱动模型 + PCI ECAM

双二进制复用

  • • koros: 内核 (fs + sched + timer)
  • • korhv: Type-1 Hypervisor (SVM/EL2)
  • • 共享 kor + kor-frame + kor-alloc