Explore projects

K

Liam Naddell / kernel
MIT License

The Redox microkernel

0

Updated Jul 31, 2018

0 0 0 0

Updated Jul 31, 2018
// return void(0); / redox
MIT License

Redox: A Rust Operating System

0

Updated Nov 01, 2019

0 0 0 0

Updated Nov 01, 2019
A

jD91mZM2 / acid
MIT License

Tests to identify kernel faults and incorrect behavior

0

Updated Jun 17, 2020

0 0 0 0

Updated Jun 17, 2020
H

Duke Jones / homebrew-gcc_cross_compilers

0

Updated Feb 01, 2019

0 0 0 0

Updated Feb 01, 2019
R

Will Angenent / redoxer

Method for quickly running programs inside of Redox from a KVM capable OS.

0

Updated May 04, 2023

0 0 0 0

Updated May 04, 2023
S

Yifan An / syscall
MIT License

Redox Rust Syscall Library

0

Updated Aug 13, 2023

0 0 0 0

Updated Aug 13, 2023
O

Yifan An / openlibm
Other

High quality system independent, portable, open source libm implementation

0

Updated Aug 13, 2023

0 0 0 0

Updated Aug 13, 2023
R

Will Angenent / relibc
MIT License

C Library in Rust for Redox and Linux (WIP)

0

Updated Apr 03, 2023

0 0 0 0

Updated Apr 03, 2023
R

Wren Turkal / redox-log
MIT License

A simple logging crate that will use Redox-init-specific logging functions in the future.

0

Updated Aug 01, 2020

0 0 0 0

Updated Aug 01, 2020
Rodolfo Cavalcante / redox
MIT License

Redox: A Rust Operating System

0

Updated Jun 01, 2020

0 0 0 0

Updated Jun 01, 2020
Pramod Senevirathne / redox
MIT License

Redox: A Rust Operating System

0

Updated May 01, 2020

0 0 0 0

Updated May 01, 2020
Ktoks / redox
MIT License

Redox: A Rust Operating System

0

Updated Apr 02, 2023

0 0 0 0

Updated Apr 02, 2023
O

redox-os / online-demo

0

Updated Jun 23, 2023

0 0 0 0

Updated Jun 23, 2023
D

Ian Douglas Scott / drivers
MIT License

Redox OS Drivers

0

Updated Aug 04, 2023

0 0 0 0

Updated Aug 04, 2023
Eny Tarunaditya / redox
MIT License

Redox: A Rust Operating System

0

Updated Oct 01, 2023

0 0 0 0

Updated Oct 01, 2023
R

Sergey "Shnatsel" Davidoff / rusttype
MIT License

A pure Rust alternative to libraries like FreeType.

0

Updated Apr 01, 2020

0 0 0 0

Updated Apr 01, 2020
Ross Harrison / redox
MIT License

Redox: A Rust Operating System

0

Updated Dec 01, 2019

0 0 0 0

Updated Dec 01, 2019
B

Geordan Neukum / book
MIT License

The Redox book

0

Updated Jun 17, 2019

0 0 0 0

Updated Jun 17, 2019
R

AdminXVII / Redox Parallel
GNU General Public License v3.0 or later

Deploy the power of the Ion Shell in a concurrent fashion

0

Updated Jul 17, 2019

0 0 0 0

Updated Jul 17, 2019
K

Noam Kleinburd / kernel
MIT License

The Redox microkernel

0

Updated Apr 01, 2019

0 0 0 0

Updated Apr 01, 2019