Broke VBox. Repair is simple. sudo /etc/init.d/vboxdrv setup Put this in a terminal, and the old VBox kernel will be removed. The new one will be compiled on the machine, which takes about 5 minutes or less. Then it works again. Simono
-- Next meeting: Blandford Forum, Tuesday 2010-07-06 20:00 http://dorset.lug.org.uk/ http://www.linkedin.com/groups?gid=2645413 Chat: http://www.mibbit.com/?server=irc.blitzed.org&channel=%23dorset List info: https://mailman.lug.org.uk/mailman/listinfo/dorset
