Re: Error while building boot image.

2020-04-19 Thread Shlomo Pongratz
On 4/19/20 5:37 PM, Tomasz Gajewski wrote: Shlomo Pongratz writes: However there is an error: $ make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc make: Entering directory '/home/shlomo/development/all_git/genode.git/genode/build/x86_64' Error: No run script for sculpt make: *** [Makefile:

Re: Error while building boot image.

2020-04-19 Thread Tomasz Gajewski
Shlomo Pongratz writes: > However there is an error: > > $ make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc > make: Entering directory > '/home/shlomo/development/all_git/genode.git/genode/build/x86_64' > Error: No run script for sculpt > make: *** [Makefile:323: run/sculpt] Error 255 > make

Error while building boot image.

2020-04-19 Thread Shlomo Pongratz
Hi, I'm trying to build sculpt according to document https://genode.org/documentation/sculpt-20-02.pdf. In section 5.2  Building the boot image stage 7 one finds: Create  the  Sculpt  boot  image  (defined  by  the  run  script at repos/gems/run/sculpt.run) make -C build/x86_64 run/sculpt

Warning and Error while running on QEMU.

2020-04-19 Thread Shlomo Pongratz
Hi, While running sculpt-20.02 on QEMU according to the instructions from https://genode.org/download/sculpt e.g. qemu-system-x86_64 -display sdl -cpu core2duo -machine q35 \     -m 1024 -drive format=raw,file=sculpt-20.02.img I've noticed the following warning and error: [i