This is a bare-metal example for the Teensy 4.0 board. It's intended to be used with the free GCC ARM toolchain.
The generated HEX file is compatible with the Teensy Loader.
Linker files and startup code are based on the Teensy Core Libraries for Arduino by Paul Stoffregen.