The Trustworthy Systems team at Data61 (formerly NICTA) is pleased to announce that full virtualisation support (via the ARM hypervisor extensions) is now available in the seL4 master branch. Verification of this functionality is in progress and expected to be completed in Q1/17.
More details are in this announcement on the seL4 developers list: https://sel4.systems/pipermail/devel/2016-June/000874.html
Gernot on behalf of the Trustworthy Systems team at Data61
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.