- struct Process *idle_proc = proc_new(idle, NULL, sizeof(idle_stack), idle_stack);
- proc_setPri(idle_proc, (int)~0);
+ /*
+ * Idle will be added to the ProcReadyList, but immediately removed
+ * after the first cpu_relax() execution.
+ *
+ * XXX: it would be better to never add idle_proc to the ProcReadyList,
+ * e.g., changing the prototype of proc_new() (or introducing a
+ * proc_new_nostart()) to allow the creation of "sleeping" tasks.
+ */
+ idle_proc = proc_new(idle, NULL, sizeof(idle_stack), idle_stack);
+ proc_setPri(idle_proc, INT_MIN);