[salem]

I think it was. We got good feedback from TA's who checked our progress to the milestones. At the time I went through, the work was done on the MIPS L4 microkernel, so the boot loader and much of the system init is done already, and all the work was done in C.