> https://code.google.com/archive/p/nix-os/
This isn't Nix Mark IV, but an earlier implementation. I believe Nemo calls it "Nix Mark I". For a bit of history about 9k and Nix, you can read http://9legacy.org/9legacy/doc/9k/history -- David du Colombier