Peer review
Code assembles, timer/IO init looks fine, kernel only uses k0/k1 and non-syscalls handled by infinite loop. Looks good! I have a really hard time finding something to fix/make better. But: I think the comment "fetch address of glob1" in proc1 can be a bit misleading, I think it fetches the word and not the address. I am not 100 % sure about this but I feel a need to write something.
Well done!