- /* Create the idle thread with maximum priority. This ensures
- that it will be scheduled soon after interrupts are enabled.
- The idle thread will block almost immediately upon
- scheduling, and subsequently it will never appear on the
- ready list, so the priority here is otherwise
- unimportant. */