They have an emulator here: https://github.com/Datamuseum-DK/R1000.Emulator2
Notably it needs KiCad to run and takes ~140 hours to boot.
Seems like the reason for KiCad and the slow operation is that the emulation occurs at a really low level, and they've written a program to digitize all of the computer's schematics and convert them into netlists (which is then converted into systemC components for the emulator): https://github.com/Datamuseum-DK/R1000.HwDoc
a video explaining the process?: https://www.youtube.com/watch?v=oMRTr0bPuOA
replies(1):