HelenOS sources

root/boot/arch/arm32/include/arch/

[..]
arch.h asm.h cp15.h main.h mm.h
types.h
[..]
HelenOS homepage, sources at GitHub