I'm looking for someone who can write custom firmware for a control interface board. The one I've been using is Texas Instruments TM4C-123G. Just wanted to see if anyone had experience doing this kind of thing because I really need to get a working implementation.