OS | Timo Nicolai

Pong for L4Re

The classic “Pong” game on the L4Re microkernel. Includes custom implementations of malloc, free etc. for L4Re and several server programs implementing keyboard and framebuffer handling as well as paddle control and logging.

Hello Kernel

A simple 32 bit x86 bootloader and dummy kernel written for educational purposes. The bootloader is able to read and run an ELF kernel image from disk. The kernel in turn writes a greeting to the serial console. Runs under QEMU.

Linux API Programs

A collection of C/C++/Bash programs using the Linux Programming API. Written for various assignments. Includes a simple shell.