General Improvements for Sculpt

[Christian Helmuth]

Hello Edoardo,

it seems your Linux installation puts obstacles in your way. As you
wrote you're using Ubuntu, could you tell us more about the version?
Something like 'lsb_release -a' may help. Does it use GCC as host
compiler? Which version of GCC and binutils is used?

Regards
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth