it finally works; the problem was that indeed the r100 driver was loaded,
and not the r200 driver: radeon_drv.o was the correct version, though.
the cause hid one level deeper: radeon_drv.o correctly identified the
chip as belonging to the r200_family, but we had built a libGL w/
built-in dri
after a long odyssey getting xfree86 dri to work (seemingly), everything
behaves as expected, except that the gl window (also fullscreen) remains
black; fps is being reported as usual (4300), no error messages appear,
neither in the server log nor the kernel log, no hangups, no crashes,
nothing