On 28 September 2015 at 18:00, Peter Crosthwaite <crosthwaitepe...@gmail.com> wrote: > -d in_asm,exec on command line will help. You may want to patch the > output prints to give the cpu ID # so you can tell difference between > A9 and M3.
You had a patch for that, didn't you? I can't remember why we didn't put it in... -- PMM
