#2: Converted the VGA server from C to C++. It's almost compiling now again; some warnings about inlining remain to be fixed.