Last took part in 2017

Microkernel devroom

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

Contributors in 2026

–

Not taking part

Projects since 2016

3 a cycle on average

Cycles

1 of 11

First in 2017

Rank in 2026

–

By contributors

Mentors

for 3 projects in 2017

Contributors per cycle

Accepted projects each year, against the median organization that year

View as table

Each one has its own page of organizations and trends

Is Microkernel devroom in GSoC 2026?: No. It last took part in 2017.
How long has it taken part?: 1 of 11 cycles since 2016, first in 2017.
How many contributors does it usually take?: 3 a cycle on average, 3 in total. Its largest cycle was 2017, with 3.
What does it build with?: C, C++, Rust, Arm, x86.

Make Redox Self-hosting
ids1024Mentored by Jeremy Soller, Michael "mmstick" Murphy
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...
Project Work
Porting LwIP to the GNU/Hurd
Joan LledóMentored by Justus Winter, Thomas Schwinge
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...
Project Work
Porting MINIX3 to Raspberry Pi
Nikita KorobovMentored by Jean-Baptiste Boric
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...
Project Work