Mirror of https://gitlab.redox-os.org/redox-os/redox
- redox
- rust
- microkernel
- operating-system
47,133 repositories indexed
1–7 of 7 · Most stars
Mirror of https://gitlab.redox-os.org/redox-os/redox
MirageOS is a library operating system that constructs unikernels
WinDBG Anti-RootKit Extension
An In-Kernel Solution Based on eBPF / XDP for 5G UPF
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
Open-source eBPF compatibility evidence and CI gate
Jupyter MicroPython Kernel made with upydevice