error in building boot image Sculpt OS

[vasvi sharma]

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 at 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_image
> >
> > 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 at lists.genode.org
> https://lists.genode.org/listinfo/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20220516/b9791596/attachment.htm>