diff --git a/core/kernel_init.c b/core/kernel_init.c
index ce378b243..15f15f2ad 100644
--- a/core/kernel_init.c
+++ b/core/kernel_init.c
@@ -31,8 +31,6 @@
 #include <auto_init.h>
 #endif
 
-volatile tcb_t *sched_threads[MAXTHREADS];
-volatile tcb_t *active_thread;
 volatile int lpm_prevent_sleep = 0;
 
 extern int main(void);