diff options
| author | Marvin Borner | 2020-05-12 23:53:02 +0200 |
|---|---|---|
| committer | Marvin Borner | 2020-05-12 23:53:02 +0200 |
| commit | 3624343800de35b9058c11186dc02dd20d98aedf (patch) | |
| tree | db9e2408a3d440bcc02f4b7e12ef597642fdaafc /.gitignore | |
| parent | 3b16ca421aad772e0f40716e2fc66215d322f7f7 (diff) | |
Added scheduler spinlocking
I don't think it's needed though, ints are disabled anyway
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions