Rust安全微内核系统
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
µKernel 是一个以 Rust 编写的安全关键微内核平台，定位并非通用开发框架，而是面向航空航天、国防、工业嵌入式和企业基础设施的 RTOS/虚拟化/容器运行底座。其核心卖点是约 5,000 行 Rust TCB、617 个可审计 unsafe blocks、15 个系统调用，以及从设计阶段面向 DO-178C 和 Common Criteria 的认证需求。
产品将 RTOS、Type-1 Hypervisor 和原生 POSIX 容器运行时放在同一体系中。认证边界由 sys-kernel、sys-hal、sys-traits 三个 Rust crate 构成；Hypervisor、POSIX shim、数据面和客户工作负载位于 TCB 外但受内核监督。正文提到支持 Hyper-V enlightenments、virtio、NPT 隔离、能力型 IPC、调度器和 Linux ABI translation。相比传统在认证 RTOS 上再跑 Linux VM 的方式，它试图用更小的可信计算基降低审计与认证复杂度。
µKernel 的差异化在于“Rust from the kernel up”，不仅应用层用 Rust，而是内核层也依赖 Rust 类型系统降低内存安全风险。TCB 中第三方 crate 仅提到 log 和 serde。生态集成方面覆盖虚拟机、POSIX 容器、BSP 和认证证据，但公开正文没有提供 SDK、API 参考、示例项目或开发指南，因此开发者上手难度和生态成熟度仍需进一步验证。
网站未披露具体价格，采用企业级组件化授权：Kernel Runtime、Hypervisor Runtime、POSIX Runtime 可独立购买；开发访问按席位并包含 NDA 下源代码、12 个月更新和工程支持；BSP 按目标硬件授权；DO-178C DAL C 证据包按架构授权。该模式适合项目制采购，但对早期评估者不够透明。
优点是 TCB 小、Rust 内核、源代码可审计、虚拟化和容器能力内置，并围绕认证设计。限制是 DAL C 与 EAL4+ 状态仍为 in progress，DAL A 需客户资助升级；价格、客户案例、性能数据和公开文档不足。它更适合有安全认证、供应链审计、硬实时和硬件隔离需求的团队，而不是普通 Web 或移动开发者。
正文未提供中国区访问、支付或代理信息，判断为未知。若中国团队评估，同类替代可关注 VxWorks、Green Hills INTEGRITY、QNX、seL4 或 Zephyr，但认证级别、授权模式和供应链要求需逐项比较。
本测评基于公开资料整理,不构成购买建议,请以 americankernel.com 官网实际信息为准。
面向高安全系统，技术信息差较高。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。