Hi, On Sun Nov 19, 2017 at 22:47:15 +0800, nico wrote: > Hi, The latest kernel supports armv8 and 64bit Hyp mode. Does that mean we > can run a guest OS in VM, such as 64bit Linux? Does L4Re provide the > corresponding interfaces for that? Regards, Nico
Yes. Yes. Yes. Specific SoC support is still sparse though. Which one are you looking into? Adam _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers