Top level repo for ARM based seL4 VMM.
To build and then run Linux in a virtual machine on seL4 on the ARM-based Odroid-XU, do the following:
Please make sure you have the seL4 prerequisites as described in http://sel4.systems/Download.
mkdir sel4arm-vmm
cd sel4arm-vmm
repo init -u ssh://github.com/smaccm/sel4arm-vmm-manifest.git
repo sync
make odroidxu_vm_linux_defconfig
make
See instructions in HARDWARE.md to run on an Odroid-XU
Once the system boots into Linux, you can log in using either:
user: odroid
password: odroid
Or
user: root
password: root