Hi John,
No, I have not seen customers with this problem. If they are, they can go directly to SSO. We do not make the drivers, you would have to contact the Stellaris team if you are talking about stellarisware drivers : http://e2e.ti.com/support/microcontrollers/stellaris_arm/default.aspx
