tree 4d30d2b9224694d28a7abb612a42b23801ab5714
parent 3cbe0a724d6963d956369d2428b606b0c5b638e8
author Richard Barry <ribarry@amazon.com> 1374659117 +0000
committer Richard Barry <ribarry@amazon.com> 1374659117 +0000

Add additional critical section to the default tickless implementations.
Update version number for maintenance release.