A quick Google search immediately returned a link to documentation for the TivaWare Boot Loader, but I have been unable to find the actual source. Based on forum posts I learned that that documentation only applies to the Flash version of the boot loader, which should only be used when the ROM version is missing a required feature. The ROM boot loader cannot be modified and ships with some TI MCUs.
Reading the documentation for my processor does mention a ROM based boot loader and the TivaWare Peripheral Driver Library discusses interfacing with ROM, but not over Ethernet. Is there a way to interface with the ROM boot loader over Ethernet?
Either way, where can I find the source for the Flash based boot loader? I've done extensive searching, including the following obvious locations: