The EXOS stuff is really 4.1aBSD with all the BUGS. I have such a server, at the moment it's a bit difficult to unbundle, so I'll send it to you tomorrow. /mtr