An operating system kernel written in C# with a strong focus on security, reliability, and maintainability.