Hi Al
>>PlatformIO
I have never been ask before to support PlatformIO and Kinetis users tend to use MCUXpresso (or KDS), which are both Eclipse based IDEs (with quite a few commercial developers using IAR and uVision since they tend to be more stable when debugging).
If PlatformIO uses GCC to cross-build there is nothing to do (there are only a few differences in a handful of lines of code between IAR, Keil, GreenHills, GCC, etc.) and the only differences between the various Eclipse eclipse based ones (CodeWarrior, MCUXpresso, KDS, S32, Atollic, CooCox) is the project configuration (95% identical but never fully compatible) and not the actual project code itself.
So basically if PlatformIO uses GCC you can just add the files involved, set include paths and define the target processor and it will be OK.
Personally I use VS since I find it a better editor (and its indexer is generally more reliable), plus I can simulate the projects and processor from it, plus cross build to any target using a post build step. At the same time I can open up any of the other IDEs and build and debug immediately since they are all using the exact same code - at the end of the day it is just a case of which editor and debugger one feels most at home with.
>> K20 derivative
There are no concerns with uTasker code since it will run on all derivatives with no (application layer) code changes. There is a setup for the chip and then you can build the same project (eg. serial loaders) for any device (from KL02, through KE, KEA, KV, KW, and K parts from K10 to K80) - as long as the device has the peripheral that is needed....the HAL adapts itself automatically so there is no work for the user. All K20 flavors are catered for.
>> combined bootloader/application image
The uTasker tools automate this (it is a part of the .bat file step)
http://www.utasker.com/forum/index.php?topic=1445.0
The utilities create all common formats and combine application and loader for factory programming, plus adding encryption and authentication for distributing if needed.
>> stock Teensy boards
Rarely are products based on the stock boards because they don't allow debugging and are expensive for production.
One pays a few dollars for the programmer chip that is used only once and in quantities it saves tens and even hundreds of thousands of dollars just removing that. Zero pin programming is the main concern to keep costs to a minimum.
The Teensy boards are however certainly popular for development and getting the original idea up and running, as are various other Arduino ones - one of the cheapest (also with about the power of your K20) is the Blue Pill that costs around $1.80 for the whole board and connectors.... which the same serial loaders build for with the switch of a single define....https://www.youtube.com/watch?v=dq-m-Dokq7E&feature=youtu.be
Regards
Mark
P.S: If you think there may general interest in an off-the-shelf configuration for PlatformIO I may take a closer look.