Build in Ubuntu container.

[Shlomo Pongratz]

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 at 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