Microkernel devroom
Confederation of microkernel projects (Genode, HelenOS, GNU Hurd, MINIX, Redox)
GSoC Participation History
Technologies
Topics
Past Projects
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...
Frequently Asked Questions
Microkernel devroom | GSoC Org Profile & Stats - Learn about Microkernel devroom's involvement in Google Summer of Code (GSoC), their technologies, detailed reports.
Participation
Projects
Top Programming Languages
Project Difficulty Distribution
No difficulty data available
Built with ❤️ for the Google Summer of Code (GSoC) open source community | © 2026 GSoCOrganizationsGuide