Re: Does the latest version of L4Re support 64bit VMM?

2017-11-20 Thread Adam Lackorzynski
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 st

Does the latest version of L4Re support 64bit VMM?

2017-11-20 Thread nico
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___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de h