Looking at the schematic for the LM4F120 LanuchPad, I notice there's actually two LM4F120 chips: one for running application code and one for programming the first chip. Since the ICDI chip looks programmable via its own JTAG interface, it seems like the source code to the ICDI chip would itself be an interesting sample application for LaunchPad developers to learn from. Is this source code available anywhere or is it likely to be released?