HelenOS sources

root/kernel/arch/ppc32/include/arch/

[..]
arch.h asm.h asm/ boot/ context.h
context_struct.h cpu.h cycle.h drivers/ faddr.h
fpu_context.h fpu_context_struct.h interrupt.h istate.h istate_struct.h
mm/ msr.h proc/ stack.h types.h
[..]
HelenOS homepage, sources at GitHub