Embedded Systems Lecture Example Code for Interrupts and Edge Interrupts