Hi,
I updated all Tiva related hal/demo files to be compatible with latest OS changes. Every demo was tested and works perfectly. If anyone has any other suggestions, I will wait till the end of the week to merge it. The pull request is here:
https://github.com/ChibiOS/ChibiOS-Contrib/pull/50
Cheers,
Fabio Utzig