Sculpt OS 22.04 Release Candidate (RC)

Christian Helmuth christian.helmuth at genode-labs.com
Thu Apr 14 07:37:50 CEST 2022


Hello John,

thanks for your quick'n'light test and your grateful words. I'm glad
it still works for you as expected.

Regarding your build error...

On Thu, Apr 14, 2022 at 04:39:38 CEST, John J. Karcher wrote:
> Interestingly, using the commit you referenced, "pkg/pc_usb_host" builds
> now, but I get the following error in "pkg/wifi":
> 
>       [Linux] /home/mainuser/Devel/genode_main/genode/depot/genodelabs/api/pc_linux/2022-04-12/src/linux/scripts/extract-cert.c:21:10:
> fatal error: openssl/bio.h: No such file or directory
>       [Linux]     21 | #include <openssl/bio.h>
>       [Linux]        |          ^~~~~~~~~~~~~~~
>       [Linux]  compilation terminated.

Interestingly the Linux kernel build seems to depend on the
"libssl-dev" Debian package. After "apt install libssl-dev" the build
should succeed.

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



More information about the users mailing list