Bare-metal for the Teensy 4.1 board, based on the imrxt1060 reference manual and other technical references