The TM4C129EXL has a PWM module that, with its various PWM generators and dead band insertion, looks like it could perform commutation of a brushless DC motor. And the launchpad headers tend to be more or less consistent from one launchpad to another. Can a ek-tm4c129exl launchpad work with a boostxl-drv8301?