Running genode on board=pc kernel=linux.

DHIRAJ PRAJAPATI dhirajprajapati96 at
Sun Feb 12 15:09:16 CET 2023

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Err
Type: application/octet-stream
Size: 8041 bytes
Desc: not available
URL: <>

More information about the users mailing list