Genode and Virtualbox updates?

[Lonnie Cumberland]

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 at 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 at alternateapproach.com
>
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20200408/ebd10971/attachment.html>