github.com/redox-os/kernel ↗
Mirror of https://gitlab.redox-os.org/redox-os/kernel
An animated visualization of redox-os/kernel's Git history from August 2016 to February 2021, built by 41 contributors. The codebase reached 3,210 lines, mostly Rust. The video runs 2 minutes 31 seconds.
Render your own repo
Turn any GitHub repository into a video like this — free sample in seconds.
Open this visualization on its own page →
Language
Rust
Contributors
41
Lines of Code
3,210
From
2016-08-14
To
2021-02-17
Advertisement
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.
Advertisement