regarding Sculpt on virt_qemu_riscv

Sebastian Sumpf Sebastian.Sumpf at
Mon Feb 20 12:28:11 CET 2023

Hello John,

On 2/17/23 18:06, John J. Karcher wrote:
> Thanks a million for this tip, Alexander!  I am using Debian unstable, and this 
> has prevented me from building for months.
> Now I am getting stopped by another error altogether:
>    ...
>    [Linux] 
> /home/mainuser/Devel/genode_main/genode/depot/genodelabs/api/pc_linux/2023-01-23/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.
>    ...
> Does anyone have any thoughts on this?

The pc_linux API should not be built for RISC-V. It's meant for x86 drivers. 
There are no ported Linux drivers for RISC-V at the moment. Or do you build for 
x86? For x86 you would probably need the "libssl-dev" Debian package.



Sebastian Sumpf
Genode Labs ·

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