Genode and Virtualbox updates?

[John J. Karcher]

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