tree 28b24e55dbe788cce0e90cc35e8abf49c2b19ae4
parent dbe0ae2bffc79c8f0545abecbae8a16476585d52
author Richard Barry <ribarry@amazon.com> 1350380925 +0000
committer Richard Barry <ribarry@amazon.com> 1350380925 +0000

Make the timer used for the PIC32 port layer user configurable.