핀토스를 처음 봤는데 코드를 하나하나 분석하고 있는데 모르는 것들이 많이 생겼습니다 ㅠㅠ

핀토스 document를 하나하나 읽어가며 코드를 읽어가고 있는데 모르는 점이 생겼습니다
핀토스의 pintos/src/thread에 있는 thread.c파일에 있는 함수입니다

void thread_start (void)
{
  /* Create the idle thread. */
  struct semaphore idle_started;
  sema_init (&idle_started, 0);
  thread_create ("idle", PRI_MIN, idle, &idle_started);
 
  /* Start preemptive thread scheduling. */
  intr_enable ();
 
  /* Wait for the idle thread to initialize idle_thread. */
  sema_down (&idle_started);
}

여기서 제가 이해한 바로는 idle_started라는 semaphore를 하나 만들고
또 idle이라는 thread를 만들었는데 원래 쓰레드가 하나 있었으니 thread_create이후론 쓰레드가 2개 됐고
그 2개의 쓰레드가 intr_enable()과 그 밑에 코드를 차례로 실행하는 것 맞나요?(두개의 쓰레드중 뭐가 먼저 코드를 실행하게 될지는 모르구요)

그 이후 두개의 쓰레드 모두 interrupt가 enable하게 되고

"semaphore가 제가 알기로 semaphore의 value가 0이 아니면 value을 1 감소시키고 계속 진행시키고, value가 0이면 sema_down을 호출한 thread을 block시키고 value가 1 이상이 되길 기다린다. sema_up에선 해당 semaphore을 기다리고 있는 thread가 있다면 그 중 가장 priority가 큰 thread을 unblock시키고, value을 1 증가시킨다"( http://yhoon2.blogspot.com/2013/01/pintos-project-1-threads.html 에서 봤습니다)

그렇다면 원래 thread_create() 하기 전에 쓰레드는 value가 0인가요 1인가요?
그리고 thread_create()로 만들어진 idle_thread는 지금 value가 0인데 어떤 쓰레드가 언제 value를 1로 만들어주나요?

도대체 제가 뭘 알고 뭘 모르는지 조차 모르니까 정말 답답하네요 ㅠㅠ