/LakeOS

A L4-like micro-kernel OS written in Rust

Primary LanguageRustApache License 2.0Apache-2.0

Stargazers