Section 6.4 of the Kinetis K60 Product Brief states that complimentary bootloaders for USB, Ethernet, RF, serial are provided as additional software stacks. Have these bootloaders beens released for Kinetis? If they have, does anyone know where they can they be located?