Microkernel devroom

Mentors: Student: Nikita Korobov

<p>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 requires changing booting process, because it doesn't allow have more than one platform. Also, some of RaspberryPi drivers such as USB, SDCard, SPI, I2C, etc. must be implemented.</p>

Mentors: Student: ids1024

<p>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 currently requires make and a Bourne-compatible shell, which will have to be ported, or a way to build without them provided.</p> <p>LLVM seems to assume it is running under Windows or Unix. So the code in lib/Support/Unix and lib/Support/Windows likely needs to be reimplemented for Redox.</p>

Mentors: Student: Joan Lledó

<p>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 that usually a kernel offers, one of these functions is a TCP/IP stack. Currently, in the Hurd this stack if offered by the pfinet server, a port of the Linux 2.2 TCP/IP stack. This stack should be replaced since it is obsolete and lacks important features like PPP support. In this project, we will port LwIP TCP/IP stack to the Hurd to replace pfinet.</p>