Ask HN: Is TI Tiva launchpad a good platform for learning OS/Bootloader?

Hi friends, I have a tiva launchpad which I fondly used for a few introductory low level programming projects. Now I want to dig a bit deeper and use the platform to teach myself OS/Bootloader and perhaps compilers too. Is it a good choice comparing to barebone Pico or Arduino Uno (stripping down to barebone)? Thanks!