Thanks! Pretty cool! {I was starting to get antsy.} I hope it's mostly OK. I tested what I could and tried to code conscientously ...
@jstruebel - I did not add your FRDM-K20D50M/USB_SERIAL demo because the USB_SERIAL demos needed slight updating (at least Makefile, chconf.h) and I do not have a FRDM-K20D50M board to test (they're out of production). Could you please re-add?
BTW, I do not mind keeping an eye on the Kinetis port. I have all the other boards that are there now (except the K20D50M). I'll probably buy also a FRDM-KL27Z board.
The reason that I'd like the Kinetis port to be healthy is that ARM Teensies (and Kinetis chips in general) are sometimes being used in custom-made keyboards {AVRs are still more common, but ...}, and one of the open source firmwares that is often used is
TMK which can use ChibiOS as a low-level layer. {It has not been used commercially though, and it's GPL'd. I hope this does not violate the license policies - please let me know if it does!}