diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c
index fe45ba017..c58c6aab8 100644
--- a/hermit/kernel/tasks.c
+++ b/hermit/kernel/tasks.c
@@ -37,6 +37,7 @@
 #include <hermit/syscall.h>
 #include <hermit/memory.h>
 #include <asm/tss.h>
+#include <asm/processor.h>
 
 /*
  * Note that linker symbols are not variables, they have no memory allocated for