6 Dec
2017
6 Dec
'17
8:37 a.m.
"Michael" == Michael DeFrancis mdefrancis@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)