Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision d2bb9f8a111b1aebb99a97f7a643311460462e4b)
+++ src/main/main.c	(revision de25b6f1041f235871f2c6ea0830caa7be2d4449)
@@ -133,4 +133,6 @@
 void main_bsp_separated_stack(void) 
 {
+
+	int a;
 	vm_t *m;
 	task_t *k;
@@ -158,5 +160,5 @@
 
 	cpu_init();
-	
+
 	calibrate_delay_loop();