Index: kernel/generic/src/proc/tasklet.c
===================================================================
--- kernel/generic/src/proc/tasklet.c	(revision 56976a175ab4fe04986c6a7c58357d9a5c598013)
+++ kernel/generic/src/proc/tasklet.c	(revision 7397c735f9919668a12f6a66a415c0d1fe4d7de1)
@@ -38,4 +38,5 @@
 #include <synch/spinlock.h>
 #include <mm/slab.h>
+#include <config.h>
 
 /** Spinlock protecting list of tasklets */