(This is a guest post from Antoni Sawicki aka Tenox)

This is now an old news, happened a few months ago, but since it hasn’t been mentioned here I think it would be nice addition to the collection!

Whitesmiths IDRIS for Atari ST has been dumped on bitsavers for a few years now, however we only had the root disk and C compiler. The boot “disk” was a ST ROM cartridge which has not been previously found.

Apparently someone posted a complete set of Idris Atari ST floppy disks on github. Thank you!

Not only that but it has been virtualized now works on Hatari. This post reads that patches have been merged to Hatari so it should work out of the box!

Some time I also acquired and scanned programmers manual. Happy Whitesmlthlng! Since we have working system, compiler and utilities we should be able to port some cool apps to this platform!