unsigned magic; /* Detects stack overflow. */
};
+/* If false (default), use round-robin scheduler.
+ If true, use multi-level feedback queue scheduler.
+ Controlled by kernel command-line option "-o mlfqs". */
+extern bool thread_mlfqs;
+
void thread_init (void);
void thread_start (void);