The Boards-Summary file lists TM4C123G LaunchPad as "32KB SRAM may make it unsuitable". Fair enough. As anyone looked at the TM4C1294XL (about $21 at DigiKey)? It is much bigger and has an Ethernet port on it, so it might be interesting.