A lightweight open source para-virtualization layer to provide a highly deterministic real-time environment for Linux/ARM.