Solved. For those having the same issue, you need to install GEZEL on a 32-bit platform. This really should be in big, bold font at the top of the installation page rather than buried in the 64-bit compilation instructions as: "The main difference between the 32-bit and 64-bit version of gezel is that the Simit-ARM instruction-set simulator is not available as part of the cosimulation. "
Has anyone been able to compile the ARM examples with the latest distribution of GEZEL? To me it appears that the ARM simulator is no longer compiled in: ./libarmsystem.so: cannot open shared object file: No such file or directory gplatform: Unknown ipblock type: armsystem I went down the road of trying to compile gplatform myself with the arm simulator but could not make it work. Any advice is very much appreciated. Thanks!