OSSGrid
Microkernel devroom logo
GSoCOperating systemsLast accepted 2017

Microkernel devroom

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

3
Projects
1
Years accepted
3
In 2017
View on the GSoC site Website

Projects by year

3

2017

3 acceptedShow

  • Make Redox Self-hosting

    Accepted project · by ids1024

    Archive Code

    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

    Accepted project · by Joan Lledó

    Archive Code

    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

    Accepted project · by Nikita Korobov

    Archive Code

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