Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts | IEEE Conference Publication | IEEE Xplore