Kernel 3.14.5-200.fc20.x86_64 won't boot: module problem

[Patrick O'Callaghan]

On Wed, 2014-06-11 at 21:11 +0800, Ed Greshko wrote:
> On 06/11/14 20:43, Patrick O'Callaghan wrote:
> > 1) I thought DKMS was supposed to rebuild the VBox modules for each new
> > kernel automatically. This has happened in the past but seems to have
> > failed now. Why would this be and how can I fix it?
> 
> Oh....and BTW you may want to check....
> 
> /var/lib/dkms/vboxhost/4.3.12/3.14.5-200.fc20.x86_64/x86_64/log/make.log

There's nothing in /var/lib/dkms except a short text file.

poc