Hi,
Since I've failed building on FC31 I've set a Ubuntu 18.04 container and tried to build there.
It seems that I need to configure the terminal since after the error message it just stuck, see below. Did anyone tried to build inside a container but run outside of it?
Best regards,
S.P.
root@359c5dcd6675:/genode/build/x86_64# make KERNEL=linux BOARD=linux run/demo including /genode/tool/run/power_on/linux including /genode/tool/run/log/linux including /genode/tool/run/boot_dir/linux including /genode/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: Entering directory '/genode/build/x86_64' checking library dependencies... Library ldso-startup Library ld Library base Program app/status_bar/status_bar Program test/nitpicker/testnit make[1]: Leaving directory '/genode/build/x86_64' genode build completed checking configuration syntax CHECK init spawn ./core Genode sculpt-20.02-70-g46fa8197a 17592186044415 MiB RAM and 8997 caps assigned to init [init] Warning: scout assigned caps (10000) exceed available caps (6628) Error opening terminal: unknown. Warning: blocking canceled in entrypoint constructor [init -> drivers] child "fb_sdl" exited with exit value 0