HelenOS sources

root/kernel/arch/arm64/src/

[..]
arm64.c asm.S context.S cpu/ debug/
exception.c fpu.S fpu_context.c interrupt.c mach/
machine_func.c mm/ smp/ start.S
[..]
HelenOS homepage, sources at GitHub