Make Redox Self-hosting
Contributor: ids1024
In order to build Redox on Redox, Rustc has to be ported, along with Cargo, and any dependencies (such as LLVM). Additionally, the build process...
Operating systems
Microkernel devroom
Confederation of microkernel projects (Genode, HelenOS, GNU Hurd, MINIX, Redox)
Technologies
armCC++Rustx86
Topics
componentsdesktopipcmicrokernelvirtualization
- Total projects
- 3
- Years participating
- 1
- Most recent
- 2017
Participation history
Historical projects
Porting LwIP to the GNU/Hurd
Contributor: Joan Lledó
The Hurd is the kernel of the GNU system. It consists on the GNU Mach microkernel and several user-space servers that offer most of the functions...
Porting MINIX3 to Raspberry Pi
Contributor: Nikita Korobov
The MINIX3 has already supported ARM-based platforms such as BeagleBoard. The goal of this project is port the MINIX3 to the RaspberryPi. The task...