Tag: RTOS vs Linux interrupt handling