Hoodeladey, the VGA server works again! Finally, we can get to do some serious work. However, there seems to be some problem with the mutex code (sometimes the kernel stack overflows). I guess you can't get to be completely happy, huh? Anyway, we will fix this as soon as possible, of course.
I've ordered a new laptop now. A Dell Latitude 400LS with pretty hot gear. I can't really wait until it arrives...