regarding Sculpt on virt_qemu_riscv

John J. Karcher devuser at
Mon Feb 20 18:06:36 CET 2023

On 2/20/23 06:28, Sebastian Sumpf wrote:
> 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.

Sorry for wasting your time.  I was building for x86_64, but cut out the 
context above, and forgot to change the subject line.  And on top of 
that, the problem was simply that I forgot to install the libssl-dev 
package.  It works now!


   John J. Karcher
   devuser at

More information about the users mailing list