Microkernel devroom

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

Technologies

c
c++
rust
arm
x86

Topics

virtualization
desktop
microkernel
components
ipc
http://www.microkernel.info/
Email

Projects

Contributor

ids1024

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

View project detailsView code

Contributor

Joan Lledó

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

View project detailsView code

Contributor

Nikita Korobov

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

View project detailsView code