On Mon, 16 Oct 2000, Mike Pumford wrote:

> 
> > > I guess, the problems are RiscPC based, as enabling XKB and putting
> > > the right flags into /etc/XF86Config's keyboard section, everything
> > > works quite fine.
> > 
> > Does RiscPC use XF86_SVGA?
> > 
> Nope it uses Xarm32VIDC which does not use an XF86Config file. I can 
> check to see if Thomas's patch has any effect on that server if you 
> like.

That would be great. If there wouldn't be any harms, we could
remove these old lines in site.def and have an XKB enabled Xserver
by default.

Thanks, Mike!

-- 
Tom