Running genode on board=pc kernel=linux.

Sebastian Sumpf Sebastian.Sumpf at
Mon Feb 13 16:55:29 CET 2023

Hi Johnny,

On 2/13/23 16:11, Johnny Nunez wrote:
> Hi Sebastian
> Great way to explain this, I also had doubts, “ KERNEL=linux BOARD=pc implies 
> that Genode will execute directly on top of the Linux kernel”, how would you 
> word KERNEL=nova BOARD=Linux ?? thank you
I would word it: Not supported ;)


Sebastian Sumpf
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list