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