Hello Christian Helmuth,

Thank you so much for your help .I followed your suggestion and additionally had to enable two more repositories to solve it. Next time I'll add text instead of images .

I wanted to ask how you were able to deduce that the error was caused due to not enabling the pc repository ?

Thanks Vasvi

On Mon, May 16, 2022 at 12:03 PM Christian Helmuth < christian.helmuth@genode-labs.com> wrote:

Hello Vasvi Sharma,

On Sat, May 14, 2022 at 08:36:35 CEST, vasvi sharma wrote:

...

I am new to Sculpt OS and I was working on building genode from source

code

...

and then later on building boot image (sculpt OS). I faced an issue while working on the boot image when I run the following line :

make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc

Error presented with and without debug in the image shown below (image 1 and 2) .

I also noticed the error changed if I revert the changes I made in build.conf for building genode from source code (image 3) asboth the process required modifying the same file.

This was the official document like via which I tried to build boot

image :

...

https://genode.org/documentation/articles/sculpt-22-04#Building_the_boot_ima...

...

How should I resolve this issue ?

Unfortunately, you did not post what you changed in the build.conf, but from the errors in the screenshots I guess you missed to enable the "pc" repository. So please changes the commented (last) line in the following snippet

# # Drivers for x86 PC # #REPOSITORIES += $(GENODE_DIR)/repos/pc

into

REPOSITORIES += $(GENODE_DIR)/repos/pc

in your etc/build.conf and rebuild.

Also, I'd like to suggest to not post screenshots of text but just copy the text into the email so it can be quoted in responses. This makes it easier for others to follow the discussion.

Best regards

Christian Helmuth Genode Labs

https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.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

Hey Vasvi,

On Mon, May 16, 2022 at 09:21:00 CEST, vasvi sharma wrote:

I wanted to ask how you were able to deduce that the error was caused due to not enabling the pc repository ?

Sorry that I missed to reveal the wizardry behind my initial response. In fact, it's quite easy to spot if you look at the right part of your log, which states in error_make(1).png

Error: incomplete or missing recipe (genodelabs/pkg/wifi ...)

and in error_after_changing_file(3).png

Error: recipe for 'pkg/wifi' not found - unable to guess version

This means the depot tool was not able to find the "recipe" files for depot archives, which the build requires. I know the mentioned recipe is part of the sources in the repos/pc directory at repos/pc/recipes/pkg/wifi. Therefore this repository and also repositories it depends on have to be enabled on build. For more background on the depot tool please refer to

https://genode.org/documentation/developer-resources/package_management

Greets