[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?