On Improving Real-Time Interrupt Latencies of Hybrid Operating Systems with Two-Level Hardware Interrupts | IEEE Journals & Magazine | IEEE Xplore