For the microkernel HelenOS a completely new networking stack was designed. The networking stack was intended to implement current basic standards of the TCP/IP Stack. Only the minimalistic functionality allowing the stack to function was to be implemented. The networking stack is written in C.
Please see