HelenOS sources

boot/generic/include/putchar.h
kernel/generic/include/putchar.h