Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 6bf5b8cd8ea2cab6203e1dd42e25d90fd7628fa6)
+++ kernel/generic/src/proc/scheduler.c	(revision 508b0df1a393bdc2b6b8e8f8f45be1a5be4a868b)
@@ -40,4 +40,5 @@
 
 #include <assert.h>
+#include <atomic.h>
 #include <proc/scheduler.h>
 #include <proc/thread.h>