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 < [email protected]> 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 > [email protected] > > _______________________________________________ > Genode users mailing list > [email protected] > https://lists.genode.org/listinfo/users
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
