HelenOS sources

root/kernel/arch/mips32/src/

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