Post #4298927

Well, neat. I just got Hello World from a program written in Idris2 running on top of the seL4 kernel in qemu! Took a little time to clear my head, realized my Idris runtime was probably just linking against the wrong GMP, got it sorted, and now it works. Abusing CMake via a string of "execute_process" commands to make it work, but hey, it works.