Von mir auch ein Nachtrag: es gibt jetzt noch ein zweites, etwas grösseres image,
https://tho-otto.de/download/idris-80m.zip mit einer 32MB grossen Partition (mehr geht leider nicht, weil das Filesystem nicht mehr zulässt). Das beinhaltet auch Varianten von ps und show0, das mit beiden Kernel-Versionen funktioniert (beide werden normalerweise bei der Installation von X ersetzt, funktionierten dann aber nicht mehr mit dem original-Kernel).
Die FIlesysteme lassen sich mit v6fs aus retro-fuse mounten (unter linux) mit
v6fs -o ro -o fsoffset=31376 idris.dsk /mnt/idris
oder
v6fs -o ro -o fsoffset=33369 idris-80m.dsk /mnt/idris