HelenOS sources

boot/generic/include/putchar.h
kernel/generic/include/putchar.h
HelenOS homepage, sources at GitHub