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