Tiva HAL Support

[Marco]

Yes, see: http://www.chibios.org/dokuwiki/doku.php?id=chibios:support

[Marco]

Hi,

Tiva devices are now able to run in Tickless mode.

Note that:
32 bit timers (WGPT) use a 16 bit prescaler so at 80MHz the ST_FREQUENCY must be at least 1250Hz. These are only available in TM4C123x devices.

16 bit timers (GPT) use an 8 bit prescaler so at 80MHz the ST_FREQUENCY must be at least 312500Hz. At 120MHz the ST_FREQUENCY must be at least 468750Hz. I think these are not usable for Tickless mode because of the high minimum frequency.

Marco

[Marco]

Hi,

I added the EXT driver for Tiva devices. A demo for TM4C123x devices is available in the testhal.

Marco

[Marco]

Hi,

The Tiva makefiles and LD files are updated to the new format so the Tiva port should be working with ChibiOS 3.0.0p3 now.

Marco