On Monday 22 October 2012 16:26:28 [email protected] wrote: > (I don't like to use the linux-libre kernel > because of the problems with virtualbox... hope they've been solved with > this new version).
You should get on to the Virtualbox developers. The essence of the problem is that the Virtualbox drivers have been such poor quality for so long that the Linux developers (LKML) have decided to mark the module tainted if it is loaded and disable a number of reliability error reports and features. In short using Virtualbox is practically a guarantee of problems.
