Systems

In a group of 5 we designed and implemented a capability-based microkernel operating system from (more or less) scratch for a multi-core microcontroller.

A QUIC/TCP-style reliable transport protocol implemented from scratch over UDP in C, with its own connection handling and congestion control.