diff options
| author | Richard Braun <rbraun@sceen.net> | 2019-05-19 16:23:16 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2019-05-19 16:23:16 +0200 |
| commit | 33149b01a99dc988f90c9902ff596e162ca23942 (patch) | |
| tree | 4154f557bd02ab04d27595735e6d6f8e4733197d /kern/shell.c | |
| parent | 8ce65cbf3ec34106ce82529ed3818ab6b5ef54a1 (diff) | |
kern/sref: rework
Remove CPU registration, optimize manager weak-ups, replace the global review
queue with local review queues.
CPU registration and the global review queue were motivated by low power
consumption, but considering how the kernel is evolving, this was likely
overengineering.
Diffstat (limited to 'kern/shell.c')
0 files changed, 0 insertions, 0 deletions