Idris for the Atari ST also runs on the MiSteryNano, a reimplementation of the ST on a 30€ Tang Nano 20k FPGA board. Here's a screenshot of the X10 (not a typo!) window system running in glorious 640x400 mono resolution on a modern HDMI LCD. We initially had some trouble running Idris in the Hatari emulator, but on the FPGA everything works right away!

https://github.com/MiSTle-Dev/MiSTeryNano
https://github.com/9nut/IDRIS-OS-for-Atari-ST
https://virtuallyfun.com/2025/12/31/whitesmiths-idris-os-for-atari-st-virtualized/
https://wiki.sipeed.com/hardware/en/tang/tang-nano-20k/nano-20k.html

#retrocomputing #fpga #atarist #idris

Idris for the Atari ST also runs on the MiSteryNano, a reimplementation of the ST on a 30€ Tang Nano 20k FPGA board. Here's a screenshot of the X10 (not a typo!) window system running in glorious 640x400 mono resolution on a modern HDMI LCD. We initially had some trouble running Idris in the Hatari emulator, but on the FPGA everything works right away!

https://github.com/MiSTle-Dev/MiSTeryNano
https://github.com/9nut/IDRIS-OS-for-Atari-ST
https://virtuallyfun.com/2025/12/31/whitesmiths-idris-os-for-atari-st-virtualized/
https://wiki.sipeed.com/hardware/en/tang/tang-nano-20k/nano-20k.html

#retrocomputing #fpga #atarist #idris