HelenOS sources

root/boot/arch/ppc32/src/

[..]
asm.S main.c ofw.c
[..]
HelenOS homepage, sources at GitHub