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 _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
