[jockm]

I hope one day the source for Whitesmiths unix clone Idris gets released. IIRC it was the first unix clone, and it would just be nice to have that preserved for history

[tomsmeding]

Seems you're in luck! Clicking around on the github page of the posted link, one finds https://github.com/hansake/Whitesmiths-Idris-OS .

[jockm]

That is just the binaries, unless I am very much mistaken. I was (trying to) refer to the sources as well

[icedchai]

Those look like binaries, not source code?