NO LONGER MAINTAINED. You can see recent developments in: https://github.com/rcore-os/zCore Rust version of THU uCore OS Plus.
The LK kernel is an SMP-aware kernel designed for small systems ported to a variety of platforms and cpu architectures.
google fuchsia
