HelenOS sources

root/kernel/arch/ia32/src/

[..]
asm.S atomic.S bios/ boot/ context.S
cpu/ ddi/ debug/ delay.S drivers/
fpu_context.c ia32.c interrupt.c mm/ pm.c
proc/ smc.c smp/ syscall.c userspace.c
vreg.c
[..]
HelenOS homepage, sources at GitHub