diff options
| author | Bernard Xiong <[email protected]> | 2017-10-18 19:44:50 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-10-18 19:44:50 +0800 |
| commit | 121b72df71485fd2ce8dc8cebc5e71c764bb29c6 (patch) | |
| tree | a9998e4298ff506968b4d794094375c8f70aedfd /include | |
| parent | 7b2decbb7c45eb287a7b3203e5622e0e84ce7cf0 (diff) | |
| parent | 7a99641c717ce5cc0652e9efd5c978dbbbec1356 (diff) | |
Merge pull request #880 from armink/fix_scheduler
[Kernel] Fix a bug on rt_schedule().
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions