HelenOS sources

root/kernel/arch/ia64/src/

[..]
asm.S context.S cpu/ ddi/ debug/
drivers/ dummy.S fpu_context.c ia64.c interrupt.c
ivt.S mm/ proc/ smc.c smp/
start.S
[..]
HelenOS homepage, sources at GitHub