Wrote all the code, albeit there is some bug. I changed hello.c to sleep after printing hello. IRQ handler/dispatcher are in the SWI handler/dispatcher files. The current problem is that it appears the IRQ handler is
never even being reached (verified by crashing it there). Problem is probably due to incorrect interrupt/timer setup but TA said I had the right stuff. So idk.