Handling Hardware Interrupts

You will write safe interfaces for responding to hardware-triggered interrupts in system-level code.