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.