Bare metal code for various ARM targets