Peer review - Frans Karlsson
Everything compiles properly, and the expected output is printed. The kernel code only changes $k0 and $k1, so all others are preserved. User mode and interrupts are enabled, and both HW interrupts are disabled correctly. The code is well commented and unclear things like the kernel code is written at a high level, I couldn't find anything wrong. Good Job!