On 4/8/20 8:34 AM, Lonnie Cumberland wrote:
Morning Norman,
[snip]
I think that I will setup a Ubuntu 19.05 Docker container and install the Genode toolchain so that I can work on building things on my Debian host to see if that will work and take some baby steps from there.
FWIW, the Genode toolchain works fine in Debian. I use Debian unstable, and haven't had a problem in years.
(Of course, you may want to use a Docker container for other reasons. I do everything in VMs, myself.)
John J . Karcher [email protected] _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
