> I've recently noticed that there's a entry like 
> 
> vxl at pica0 slot 4 offset 0x0 not configured
> 
> in my boot messages.  I see that it's in picabus.c for Magnum.  Is this the 
> same as the Inmos G364 based card that I have in my Olivetti?

No, it's differnt.
Jazz VXL framebuffer (Jaguar accelerater) can be probed via ARC
Firmware with [VXL] id, and G364 of Olivetti is [OLIVETTI_G364].
--
soda