Back to Programs

Operating systems

Microkernel devroom

Confederation of microkernel projects (Genode, HelenOS, GNU Hurd, MINIX, Redox)

armassemblycc++rustx86

Participation history

1 GSoC year

2017

3 projects

Official year page

Make Redox Self-hosting

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...

Porting LwIP to the GNU/Hurd

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

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...