diff options
author | Richard Barry <ribarry@amazon.com> | 2012-10-16 09:48:45 +0000 |
---|---|---|
committer | Richard Barry <ribarry@amazon.com> | 2012-10-16 09:48:45 +0000 |
commit | f446f77fd413b150fd92357bb52515811109b0ee (patch) | |
tree | 28b24e55dbe788cce0e90cc35e8abf49c2b19ae4 /FreeRTOS/Demo/WizNET_DEMO_GCC_ARM7 | |
parent | dbe0ae2bffc79c8f0545abecbae8a16476585d52 (diff) | |
download | freertos-git-f446f77fd413b150fd92357bb52515811109b0ee.tar.gz |
Make the timer used for the PIC32 port layer user configurable.
Diffstat (limited to 'FreeRTOS/Demo/WizNET_DEMO_GCC_ARM7')
0 files changed, 0 insertions, 0 deletions