Hi Folks, at the contribute summit (or better the day before) we had some discussions about different arm version. All I could find: There might be ARM11 devices with: There is a Samsung device