| commit | f446f77fd413b150fd92357bb52515811109b0ee | [log] [tgz] |
|---|---|---|
| author | Richard Barry <ribarry@amazon.com> | Tue Oct 16 09:48:45 2012 +0000 |
| committer | Richard Barry <ribarry@amazon.com> | Tue Oct 16 09:48:45 2012 +0000 |
| tree | 28b24e55dbe788cce0e90cc35e8abf49c2b19ae4 | |
| parent | dbe0ae2bffc79c8f0545abecbae8a16476585d52 [diff] |
Make the timer used for the PIC32 port layer user configurable.