HelenOS sources

root/kernel/arch/arm32/src/

[..]
arm32.c asm.S atomic.c context.S cpu/
debug/ dummy.S eabi.S exc_handler.S exception.c
fpu.S fpu_context.c interrupt.c mach/ machine_func.c
mm/ ras.c smc.c start.S userspace.c
[..]
HelenOS homepage, sources at GitHub