Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The Redox microkernel
-
Redox: A Rust Operating System
-
Redox OS Drivers
-
-
Redox: A Rust Operating System
-
A Redox filesystem builder
-
Redox Packaging Utilities
-
The Redox microkernel
-
A safe, concurrent, practical language.
-
The Redox Filesystem
-
A collection of package recipes for Redox.
-
Redox Rust Syscall Library
-
A GDB Remote Serial Protocol server for Rust, intended to be a simple GDBserver for at least Linux and Redox running on the x86_64 architecture rewritten in Rust.
-
C Library in Rust for Redox and Linux (WIP)
-
A collection of package recipes for Redox.
-
A collection of package recipes for Redox.
-
A fork of binutils from git://sourceware.org/git/binutils-gdb.git with Redox support
-
A fork of binutils from git://sourceware.org/git/binutils-gdb.git with Redox support
-
The Redox website (blog, news, feed, etc.)
-
Userspace system call tracer for Redox OS
