🎯 组合优于继承 (Composition over Inheritance)
9 个 crate 各司其职，koros 和 korhv 作为"组合根"在 kernel_main / hyp_main 中组装所有组件。新增文件系统？写一个新 crate 实现 FileSystemDriver trait，在组合根注册即可，不改任何已有代码。
🧩 零 cfg 分支架构抽象
共享 crate 中没有一行 #[cfg(target_arch)]。架构差异完全封装在 kor-arch 中，通过 ArchProvider trait object 分发。添加新架构？只需在 kor-arch/src/ 下加一个目录实现 trait，共享代码零修改。
⚡ 双二进制复用 (koros + korhv)
同一套底层 crate（kor + kor-frame + kor-alloc）支撑两个完全不同的产品：常规内核 koros 和 Type-1 Hypervisor korhv。Hypervisor 不重新发明轮子，直接复用内存管理和抽象层。
🔒 形式化验证就绪
分配器模块（帧分配器、slab 堆）有独立的 Verus 形式化验证副本（verified/）。#![no_std] + 纯函数式设计让关键模块可以被形式化推理。