A tour of the ARM architecture and its Linux support