Running genode on board=pc kernel=linux.

Sebastian Sumpf Sebastian.Sumpf at genode-labs.com
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 "sculpt.run" one:

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

should do the trick.

Regards,

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







More information about the users mailing list