Folks,
I have requested that the platform "arm" be created in Bugzilla after
discussing this with David last week. We can use it as a catch-all to
reduce the confusion as some users don't know armv7 from arm9 or arm11!
We can of course add others, but I like "arm" to be in there.
Jon.