@lina It sounds to me like this idea of just "start a new linux-compatible kernel from scratch in Rust" is really what would work best for you.