diff options
| author | Liam <byteslice@airmail.cc> | 2022-07-07 12:34:46 -0400 |
|---|---|---|
| committer | Liam <byteslice@airmail.cc> | 2022-07-14 22:47:18 -0400 |
| commit | da07e13e0798a4ebd423595830f04e2234a03942 (patch) | |
| tree | 2e2a88eb2fd2a5ae6f070609040418f9c1df4c35 /src/core/cpu_manager.h | |
| parent | 21945ae127480c8332c1110ceada2df4a42a5848 (diff) | |
kernel: fix single-core preemption points
Diffstat (limited to 'src/core/cpu_manager.h')
| -rw-r--r-- | src/core/cpu_manager.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/core/cpu_manager.h b/src/core/cpu_manager.h index 835505b92..95ea3ef39 100644 --- 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> |