Running genode on board=pc kernel=linux.

Sebastian Sumpf Sebastian.Sumpf at
Mon Feb 13 09:21:07 CET 2023

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 that Genode will execute directly on top of the 
Linux kernel on a test machine or Qemu. Since this project was a thesis work and 
is not well tested, it is not supported. If you want to run Genode within a 
Linux distro, you would need to execute

! make KERNEL=linux BOARD=linux <run-script>

so Genode's hybrid Linux drivers we be build. For Sculpt, I would recommend 
testing it in Qemu, to actually start the scenario you would need to use the 
"sculpt_test" run script, not the "" one:

! make KERNEL=nova BOARD=pc LOG=core run/sculpt_test

should do the trick.



Sebastian Sumpf
Genode Labs ·

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

More information about the users mailing list