> Or, if you think DDX-> R6 is `not too hard', maybe you could take on
> converting the R5 source we use for the other framebuffers (cfb, sfb,
> mfb, 2100/3100 motherboard buffers) too?? I havent done server hacking
> since the R3 days, myself.
Um... I'll take a look when I get a chance. Re the new server, I think 
creating a px_ioctl routine and emulating the good ol' Ultrix-4.1 
ioctls that Xtm2d uses is the way to go, at least until wscons for pmax 
comes along (when we can probably find a better way do to this).

Andy.