XtratuM for LEON3: an Open Source Hypervisor for High Integrity Systems