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
_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users