I should point out that aarch64 is only there for the kernel and
libsel4test --- there isn't yet a VMM for aarch64, nor any immediate
plans to create one; also other library support is lacking at present.
Also, the code for aarch64 is not verified.
Fee free to submit patches if you can fill in any of the holes.
Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/
Trustworthy Systems Group Data61 (formerly NICTA)