Does the latest version of L4Re support 64bit VMM?

Adam Lackorzynski adam at
Mon Nov 20 19:17:01 CET 2017


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?


More information about the l4-hackers mailing list