1. How to port your BSD to run as Xen on ARM guest Julien Grall [email protected] BSDCan 2015 2. Intro DOM0 Requirements Debugging FreeBSD Conclusion Xen Type-I hypervisor…