Thanks John,

I may go ahead and give that a try. In my reading on Genode, it seemed that Ubuntu was the preferred way which is why I started looking into that direction, but if Debian also works then that is good too.

Cheers,
Lonnie

On Wed, Apr 8, 2020 at 2:08 PM John J. Karcher <devuser@alternateapproach.com> wrote:
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
   devuser@alternateapproach.com

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