Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/generic/src/proc/scheduler.c	(revision 241ab7e11a995ede41fed730b4b8dab9b700c38c)
@@ -68,5 +68,5 @@
 static void scheduler_separated_stack(void);
 
-atomic_t nrdy;  /**< Number of ready threads in the system. */
+atomic_size_t nrdy;  /**< Number of ready threads in the system. */
 
 /** Carry out actions before new task runs. */