>>>>> "Michael" == Michael DeFrancis <mdefran...@i-a-i.com> writes:
Michael> I am attempting to build a linux virtual machine on top of Michael> the zynqmp ultrascape+ / sel4 kernel, and using the tk1 vmm Michael> project as my reference point. The TK1 VMM runs in 32-bit mode. We haven't written a hypervisor yet for aarch64. arm_hyp is essentially armv7-a with VE; aarch32 is armv6 or later. Both are 32-bit. Patches are welcome (with Contributer licence agreement); we would really like to see a 64-bit virtual machine monitor. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA) _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel