I found the solution to the problem with my mouse. I had tried choosing my device manually in libvga.config, but that did not work either. As it turned out, I had to make a symlink called "/dev/mouse" and have that point to "/dev/psaux". Then it worked just fine. Maybe someone can explain what I can do to make the mouse not move so fast and jerkily though? -- Deven