It's actually a Teensy 4.1, but since it's essentially a breakout board for that chip
Actually, it's not. (I'm not nitpicking, just trying to help, as I read that as conflicting expectations of exactly what Teensy 4.1 is.)
Teensy 4.x have a proprietary
NXP MKL02 bootloader chip, which is
connected to the JTAG and SWD pins. Basically, you can only program the i.MX RT1062 through the properietary PJRC bootloader, unless you desorder the MKL02 chip off the board.
Teensy LC, 3.x, 4.x, and MicroMod Teensys use
Teensyduino, with the core sources at
Paul Stoffregen's github repository (teensy4 tree). The toolchain is a standard ARM GCC toolchain with newlib C library. Teensyduino can be used on the command line, although it will still use Arduino machinery to do so. Although the GUI version of the Teensy Loader is easiest to use, one can also use the open source
teensy_loader_cli to upload non-encrypted firmware images to any Teensy. So, even though you do need Arduino stuff installed, you can definitely write Teensy code in Code::Blocks (and you will be using GCC), using the Makefile example at the Teensyduino page. (Name your sources with .c/.cpp/.h extension, and they won't be preprocessed using the Arduino preprocessor, like .ino files are, IIRC.)
Teensy cores are pretty darned good (as you can see from the generated code, if you look at the disassembly of the ELF object files that are linked into the final HEX firmware image), and since it uses GCC, you can use both C and C++ with it (with the standard embedded C++ limitations, i.e. no exceptions etc.).
However, it is not really suitable for bare-metal programming. The i.MX RT1062 is pretty complicated for that anyway; even the Teensy core supports a relatively simple subset of its features. Using Teensies/Teensyduino within your own design requires buying the preprogrammed MKL02 chips off PJRC (but Paul and Robin are good people (based on how they treated their employees and the community during the pandemic, for example), and Paul is very often on the
PJRC forum discussing future plans, helping with technical issues, etc.), but they're cheap and PJRC definitely does not price gouge.
I personally have used Teensies for many years (as a hobbyist) starting with a Teensy 2.0++, and it is my favourite microcontroller by far.
But, because of the proprietary bootloader connected to the JTAG and SWD pins, it really isn't at all a "break-out board for i.MX RT1062".
However, it is an excellent platform to test and experiment with, even if you relatively quickly end up making your own board (with or without the PJRC bootloader chip). (In particular, SparkFun MicroMod Teensy is such a derivative (with trademark agreements between PJRC and SparkFun for the "Teensy" use), with SparkFun getting the MKL02 chips from PJRC, but otherwise making their own Teensy-compatible boards.)
For true bare metal, you should look at NXP
MIMXRT1060-EVKB,
MIMXRT1064-EVK,
MIMXRT1160-EVK, or
MIMXRT1170-EVK, whichever best matches your intended processor. They are a lot more expensive, of course, but it is a much more complete evaluation kit.
Others have started with Teensy 4, then manufactured their own boards based on what they learned and decided they needed; both with and without using Teensyduino support via the PJRC MKL02 bootloader chip. The main issue is that the chips only come in BGA footprints, but there is some advice about that on the
MKL02 bootloader chip page. I suggest you go and read the related threads at the PJRC forum,
Project Guidance and
Technical Support & Questions sub-boards, looking for "custom teensy" and similar subjects. We're not allowed to use "Teensy" when naming of our own custom boards and products, though, because that would be trademark dilution.