Daniel Thompson has exclusively been using the ARM developerbox you can read more about it here: https://www.96boards.org/product/developerbox/ and you can see Daniel Thompson’s keynote at Linaro Connect here: https://www.youtube.com/watch?v=uAfpd3qFOZg