error in building boot image Sculpt OS

[Norman Feske]

Hello Vasvi,

> Thank you so much for your help .I followed your suggestion and
> additionally had to enable two more repositories  to solve it.

thank you for having pointed us to the deficiency of the Sculpt OS
documentation. It indeed missed to mention the 'pc' and 'dde_rump'
repositories. Sorry about that stumbling block. I fixed it now [1], and
updated the PDF and website [2].

[1]
https://github.com/genodelabs/genode/commit/fec71f27ebfead4d5ed395239a9df8f872a60311
[2]
https://genode.org/documentation/articles/sculpt-22-04#Building_the_boot_image

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth