Does the latest version of L4Re support 64bit VMM?

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Nov 20 19:17:01 CET 2017


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



More information about the l4-hackers mailing list