diff options
| author | Enrico Tassi | 2014-03-13 15:59:49 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-03-13 16:04:33 +0100 |
| commit | 56b5573f5e5da78558e7b466e14f71a54af7b65c (patch) | |
| tree | cafe00db428703ea12451f20cfece16e2d2fe1cd /kernel | |
| parent | 223c68e38e217d9457c476d5534b6aaf0ad2caf6 (diff) | |
STM: perspective (tell the scheduler what the user sees)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions