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

Previous message (by thread): Does the latest version of L4Re support 64bit VMM?
Next message (by thread): Porting Fiasco + L4Re to Raspberry Pi 2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): Does the latest version of L4Re support 64bit VMM?
Next message (by thread): Porting Fiasco + L4Re to Raspberry Pi 2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the l4-hackers mailing list