On 15/08/13 01:34, Sachin wrote: > I just tried linux-libre 3.10 from jxself's repo, yes virtualbox > didn't work but if virtualbox is really necessary and downgrading to > linux-libre 3.2 is not a issue for you then you can have it working.
Kernel 3.2 works for me as well. So I changed by GRUB settings in /etc/default/grub, with GRUB_HIDDEN_TIMEOUT= instead of GRUB_HIDDEN_TIMEOUT=0 That gives me the GRUB menu each time, so I can choose between 3.2 and 3.10. Andrew.
