Experimentally evaluating a multicore Mixed-Criticality System implementation against a temporal isolation kernel

A comparison between an implementation, made by myself, of the "Semi-partitioned model for dual-core mixed criticality system" (https://dl.acm.org/doi/10.1145/2834848.2834865) and XtratuM (https://fentiss.com/products/hypervisor), which is a TSP.