To expand on Kofi’s point: we’re quite interested in AArch64 HYP and SMP, but we currently don’t have funding to do it, that’s why there isn’t a concrete plan yet. If we can find that funding, these will definitely be on the roadmap. Cheers, Gerwin On 17 Nov 2017, at 10:46, Kofidoku.Atuah@data61.csiro.aumailto:Kofidoku.Atuah@data61.csiro.au wrote: Hey Munees: So the problem is that a Hyp implementation for our current Aarch64 TX1 port would require changes to support AArch64 hyp, and we don't have any internal use case for supporting that right now. As for AArch64 SMP, I'm not aware of any internal plans to work on that anytime soon; sorry. -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel