Re: [seL4] AARCH64 with CAMKES (Questions)

...

...

...

...

"Michael" == Michael DeFrancis 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)