Completed Design.txt, added interrupts to thread_set_priority