Building embedded system software can be challenging given the wide range of constraints from the amount of available memory to hardware security capabilities. Technologies like hypervisors, ...