Evaluating a multicore Mixed-Criticality System implementation against a temporal isolation kernel

An experimental Ada runtime environment implementating the "Semi-partitioned model for dual-core mixed criticality system" by Xu & Burns: https://doi.org/10.1016/j.sysarc.2022.102688.

Installation

First, you need to properly install GNAT CE 2018 (ARM-ELF hosted on linux) by AdaCore. Then, run build_runtime_zynq.sh.