Miscellaneous drivers for TI Stellaris microcontrollers