diff options
| author | Richard Braun <rbraun@sceen.net> | 2019-05-05 18:44:35 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2019-05-05 19:22:39 +0200 |
| commit | 899460dd71a728179f6dbf737c735daa5520013a (patch) | |
| tree | 870e782b2cad2269864857029873ecd356a48eab /kern/kernel.c | |
| parent | 396b35e812a9b9c13a4e17f6358234f822850958 (diff) | |
kern/timer: fix high priority work scheduling flags
Diffstat (limited to 'kern/kernel.c')
0 files changed, 0 insertions, 0 deletions