The ARM hypervisor extensions are now supported in the master seL4 kernel. This support
has existed on a public development branch (arm_hyp) for some time, but this marks the
beginning of proper support and a verification target.
What is done:
* Hypervisor extensions supported on odroid-xu and Jetson TK1 platforms
* SystemMMU supported on Jetson TK1 platform
* Currently any usage of hyp extensions or SystemMMU is *not* verified
* SystemMMU contains work around currently for the VMM to map in large amounts of memory
(fix for this relies on a kernel change currently being verified)
You can use the manifest https://github.com/seL4proj/camkes-arm-vm-manifest
to get the
and then use one of the two default
configs for the TK1 and odroid-xu platforms.
The information in this e-mail may be confidential and subject to legal professional
privilege and/or copyright. National ICT Australia Limited accepts no liability for any
damage caused by this email or its attachments.