Running genode on board=pc kernel=linux.

[Sebastian Sumpf]

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

-- 
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.org

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