JitOS - Just-in-time Operating System with managed code