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!
Thanks!
John J. Karcher
devu...@alternateapproach.com
_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users