Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system