Redox is an operating system written in Rust, a language with focus on safety, efficiency and high performance. Redox, following the microkernel design, aims to be reliable, secure, usable, correct and free. Redox is inspired by previous operating systems, such as seL4, MINIX, Plan 9, Linux and BSD.
Redox is not just a kernel, it's a full-featured operating system, providing components (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. You can loosely think of it as the GNU or BSD ecosystem, but in a memory safe language and with modern technology.
This is the main repository of the Redox GitLab where the build system files are stored, this README is used to guide new developers.
You can find the most important pages below:
These are the most important repositories available on the Redox GitLab:
Name (lexicographic order) | Maintainer |
---|---|
acid (kernel integration tests) | @jackpot51 |
binutils | @jackpot51 |
cookbook | @jackpot51 @hatred_45 @ids1024 |
coreutils | @jackpot51 |
extrautils | @jackpot51 |
games | @fabiao |
Ion (shell) | @jackpot51 |
ipcd | @jackpot51 |
kernel | @jackpot51 |
libextra | @jackpot51 |
libpager | @jackpot51 |
netstack | @jackpot51 |
netutils | @jackpot51 |
orbclient (Orbital client) | @jackpot51 @FloVanGH |
orbdata | @jackpot51 |
orbgame (Orbital 2D game engine) | @FloVanGH |
Orbital (windowing and compositing system) | @jackpot51 |
orbtk (Orbital toolkit) | @FloVanGH |
orbutils (Orbital utilities) | @jackpot51 |
pkgutils (current package manager) | @jackpot51 |
ralloc | @jackpot51 |
RANSID (Rust ANSI driver) | @jackpot51 |
redoxfs (default filesystem) | @jackpot51 |
relibc (C Library in Rust) | @jackpot51 |
small (stack String and other collections) | @jackpot51 |
syscall | @jackpot51 |
Sodium (Vim-inspired text editor) | @jackpot51 |
The Redox book | @hatred_45 |
userutils | @jackpot51 |
See Redox in Action for photos and videos.
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。