NO LONGER MAINTAINED. You can see recent developments in: https://github.com/rcore-os/zCore Rust version of THU uCore OS Plus.

基于 zircon 并提供 Linux 兼容性的操作系统内核。

The LK kernel is an SMP-aware kernel designed for small systems ported to a variety of platforms and cpu architectures.

google fuchsia