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
Hi Dhiraj,
On 2/12/23 15:09, DHIRAJ PRAJAPATI wrote:
Dear genodians,
While creating the sculpt.img using the
*sudo make run/sculpt KERNEL=linux BOARD=pc DEPOT=tar LOG=core VERBOSE=*
for Linux x86
I got the following error, kindly requesting you to help me out.
KERNEL=linux BOARD=pc implies
