ChibiOS Free Embedded RTOS

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

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

Hi,

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

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