HelenOS sources

root/boot/generic/src/

[..]
balloc.c gzip.c inflate.c kernel.c payload.c
printf.c printf_core.c tar.c version.c vprintf.c
[..]
HelenOS homepage, sources at GitHub