diff options
| author | Bernard Xiong <[email protected]> | 2014-12-23 15:30:02 +0800 |
|---|---|---|
| committer | Bernard Xiong <[email protected]> | 2014-12-23 15:30:02 +0800 |
| commit | 9a1126e4a4f482ff0f866e2fc7f7a4bbaef2ab06 (patch) | |
| tree | 44c3bc78f73c3943e41253c248cb8e04f8eab9d4 /tools | |
| parent | d045053c81bb8a6d918351fafde811ba589b6544 (diff) | |
| parent | 3c1c093230a80c64c3f9ef322397696abc76cf6f (diff) | |
Merge pull request #397 from pangweishen/master
RT_TIMER_TICK_PER_SECOND in rtconfig.h for softtime scheduler is not used.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions