> are? They
look to be PDP-10 {something}, given what appear to be two rows of
> 36 lights on the bottom (although they are hard to see clearly), but I
> couldn't find a panel like that in my PDP-10 manual.
I don't have time to go down this rathole right now.
If you are sure they are off a 10, check the peripheral controller manuals on
bitsavers under pdp10/periph