HelenOS sources

root/boot/arch/ia64/src/

[..]
asm.S boot.S main.c pal.c pal_asm.S
putchar.c sal.c sal_asm.S ski.c
[..]
HelenOS homepage, sources at GitHub