started             7 kernel/main.c  volatile static int started = 0;
started            33 kernel/main.c      __atomic_store_n(&started, 1, __ATOMIC_RELEASE);
started            35 kernel/main.c      while (__atomic_load_n(&started, __ATOMIC_ACQUIRE) == 0)