There's some that runs specifically on SGI machines to do the TV graphics that has not been dumped afaik

I refuse to be nerd sniped; do you know what the input to the SGI is and what it outputs? looking at the video it seems that most of that is done "in hardware", the SGI could just be providing the actual updated information, and it could just be for nostalgia or "if it is not broke..."

I didn't even realize I wasn't reading Wikipedia for the first couple minutes.