Hello John,
Currently I am trying to clean the installation and retry it.
I never used docker so I'll skip,

Thanks for your help,

Regards,
Edoardo Mantovani, 2021

Il giorno mer 3 mar 2021 alle ore 18:55 John J. Karcher <devuser@alternateapproach.com> ha scritto:
Hello Edoardo,

The situation isn't exactly the same, so ignore this if it doesn't apply.

I have been tinkering a little bit with 20.08, which doesn't build on my
Debian system, so I've been using Stefan's Genode development docker
container as described at
"https://genodians.org/skalk/2020-09-29-docker-devel".  This does the
job for me.

  Hope it helps,

   John J. Karcher
   devuser@alternateapproach.com


On 3/3/21 4:28 AM, Edoardo Mantovani wrote:
> Hi Christian,
> I am using a common Ubuntu 16.04.7 LTS, codename Xenial.
> My gcc version is the 5.4.0 20160609, made for Ubuntu
> 5.4.0-6Ubuntu1-16.04.12), my binutils are at 2.26.1 version.
>
> Regards,
> Edoardo Mantovani, 2021
>
> Il giorno mer 3 mar 2021 alle ore 09:43 Christian Helmuth
> <christian.helmuth@genode-labs.com
> <mailto:christian.helmuth@genode-labs.com>> ha scritto:
>
>     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://www.genode-labs.com/> ·
>     https://genode.org/ <https://genode.org/>
>     https://twitter.com/GenodeLabs <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
>
>     _______________________________________________
>     Genode users mailing list
>     users@lists.genode.org <mailto:users@lists.genode.org>
>     https://lists.genode.org/listinfo/users
>     <https://lists.genode.org/listinfo/users>
>
>
>
> --
>       
> Edoardo Mantovani
> *Independent security researcher*
> *email: *Baseband@cpan.org <mailto:Baseband@cpan.org>
> Urbino, Italy
>
>
> _______________________________________________
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
>

_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users


--

Edoardo Mantovani
Independent security researcher
email: Baseband@cpan.org
Urbino, Italy