In this paper we present xLuna, a reliable RTEMS/ Linux kernel. This work was motivated by the need for a runtime environment targeting real-time and non-real-time applications and providing high ...