A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads - View it on GitHub