>This sucks. The i860 needs to be enabled, since STIC interrupts get routed
>through it. To support the i860 properly, we need a TLB manager and the
>right ucode for the damn thing.

Yes. That's why I keep muttering about emulating the DEC xws API.
That's assuming the ucode is acutally in the Xwst3d pxg/pgx-turbo(?)
Xserver somewhere, not embedded in the Ultrix driver for the PXG.