Re: VirtualBox / Building gnumach with minimal drivers

["Jens Mühlenhoff" <j.muehlenhoff@gmx.de>]

> Von: Samuel Thibault
> 
> Now the question might be: should we keep it enabled by default?
> Ideally the bug should just be fixed in VirtualBox (supposedly free
> software).
> 

I've opened a VirtualBox ticket for this:

http://www.virtualbox.org/ticket/7368

I would keep the driver(s) enabled.

-- 
Regards,
Jens