kernel: fix single-core preemption points

2022-07-07 12:34:46 -04:00
parent 21945ae127
commit da07e13e07
6 changed files with 27 additions and 39 deletions
--- a/src/core/cpu_manager.h
+++ b/src/core/cpu_manager.h
@ -5,7 +5,6 @@

 #include <array>
 #include <atomic>
-#include <csetjmp>
 #include <functional>
 #include <memory>
 #include <thread>