While using map's GUI, I am getting the error message
The target's CPU ID (0x00000000430f0af0) doesn't match the requested CPU ID (0x00000000460f0010)
This doesn't happen with "map -profile ..." and nobody else seems to be able to replicate.
System is a ThunderX2 node (/proc/cpuinfo matches the target CPU ID), compiling with gcc 8 (from CentOS), armclang, and others.
Self-solved: turned out I had a ~/.allinea directory with a system.config setting for the wrong CPU ID. This was presumably set by an earlier version of forge. Wiped directory and now runs ok.