Hi. Unfortunately, user.skolelinux.no did not come back up after a kernel upgrade earlier today, and the monitor-output was broken when the kernel started booting. I'm trying to get access to the serial-console-box it is connected to. Sorry for the disadvantages this kernel upgrade resulted in. I'll keep you updated about the progress. - Werner