RTOS3: Semaphores and ISRs;
Tutorial: IRQ with Linux on the DE10 Board