A "bare metal" ARM runtime example built with the GCC toolchain