On Mon, 16 Oct 2000, Ignatios Souvatzis wrote:

> > So, let's see, what problems these are. I removed these line, recompiled
> > and ended up with an Xserver with XKB. And no problems.
> 
> Ah! I owe you a pizza for this!

Oh, I'm looking forward our next MeKa meeting :-)

> > 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?

No, they have their Xarm32VIDCServer. But the defines (arm32Architecture)
are the same. I think, we have to dig a little bit deeper into xc/config/cf
files...

-- 
Tom