Re: Running genode on board=pc kernel=linux.

2023-02-13 Thread Sebastian Sumpf

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


Re: Running genode on board=pc kernel=linux.

2023-02-13 Thread Sebastian Sumpf

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 

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





___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users