Debian on ARM - Gnunify2015
BSDCan 2015: How to Port BSD as a Xen on ARM Guest
14.04_Server_brochure_screen_final.pdf
Why it might be interesting to look at ARM Ben Couturier, Vijay Kartik Niko Neufeld, PH-LBC SFT Technical Group Meeting 08/10/2012.
Atmel 11121 32 Bit Cortex A5 Microcontroller SAMA5D3 Datasheet