Just FYI. I had so much fun with the Venix stuff last year, I started up this repo to try to recreate the Venix sources. I doubt I'll ever get the compiler back, but other things should be easy. https://github.com/bsdimp/venix/ which also has all the Venix 86 disks I could find (both Rainbow and IBM XT). There's also a 8088 disassembler (but it just groks the Venix variants because I'm lame), and the start of a Venix user-mode thing as well, but that's very early days.