started             7 kernel/main.c  volatile static int started = 0;
started            33 kernel/main.c      started = 1;
started            35 kernel/main.c      while(started == 0)