OK, so I guess I'll have to fix it :-)

Another thing -- I'm thinking of writing a driver for https://en.wikipedia.org/wiki/DVK and it's early revisions were just a SBC connected via serial port to a terminal (ie15). How do I connect two drivers this way?