HelenOS sources

root/kernel/arch/abs32le/include/arch/

[..]
arch.h asm.h context.h context_offset.h cpu.h
cycle.h faddr.h fpu_context.h interrupt.h istate.h
mm/ proc/ stack.h types.h
[..]
HelenOS homepage, sources at GitHub