The PRO was for later VAXen. 8800-range, I think.
That must be where I saw it, because I remember a VAX with what was
clearly a PRO attached to it. We used to joke that it was the only way DEC
could sell the PROs :-)
The 86x0 uses a T11, and runs RT-11.
Was it like a FALCON/KXT11 board based thing, or some custom T11 board?
How (where) did they get RT11 for it? The T11 had a few oddities (e.g. no
bus timeout traps) and AFAIK RT11 was never supported on T11 systems. I've
heard that there was an unofficial, hacked up, copy of some RT11 release
that would work but I never saw a copy.
I've actually got a FALCON board, so it's more than just an academic
interest.
Bob