>> mainbus0 (root): SUNW,SPARCstation-LX: hostid 80706337
>> cpu0 at mainbus0: TMS390S10 @ 50 MHz, on-chip FPU
>> cpu0: physical 4K instruction (32 b/l), 2K data (16 b/l): cache enabled

Taken from the machine in question:

mainbus0 (root): SUNW,SPARCstation-LX
cpu0 at mainbus0: TMS390S10 @ 50 MHz, on-chip FPU
cpu0: physical 4K instruction (32 b/l), 2K data (16 b/l): cache enabled

Looks the same, except that this kernel doesn't print the hostid.

Possibly reelvant is that the first time I poke at the cg6 - whether
with a program that works or the one that dies - I get

NMI: system interrupts: 40000000<VME=0,SBUS=0,ME>

This message does not repeat; I've never seen it more than once per
boot, even when running various cg6-using programs repeatedly.  Except
that I don't get it on other machines, and the correlation that it
shows up on first framebuffer access, I see no reason to think it has
anything to do with the issue.

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B