github.com/redox-os/kernel ↗
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Open this visualization on its own page →
Contributors
41
Lines of Code
3,210
From
2016-08-14
To
2021-02-17
About redox-os/kernel
This is the kernel for Redox OS, a Unix-like operating system written entirely in Rust. The kernel implements a microkernel architecture, drawing inspiration from Plan 9 and seL4, and provides system call interfaces for the rest of the operating system. It is designed to be memory-safe and prevent panics in kernel space, which would otherwise crash the entire OS.
The project requires nasm for assembly code compilation and supports debugging through QEMU, GDB, and LLDB. Developers can connect a debugger to a running kernel instance via port 1234 to set breakpoints and inspect execution. The kernel prioritizes safety practices such as using safe array access methods and avoiding operations that could cause panics, treating the kernel as a critical component where failures are catastrophic.
The Redox kernel development is part of a larger system that requires integration with the Redox build system and cross-compilation toolchain. The project has received funding from NGI Zero Core and NLnet with support from the European Commission's Next Generation Internet program, specifically for implementing Unix-style signals and process management features.