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 to get the project 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.