+ /* These members are owned by the thread_*() functions. */
+ enum thread_status status; /* Thread state. */
+ char name[16]; /* Name (for debugging purposes). */
+ uint8_t *stack; /* Saved stack pointer. */
+ list_elem rq_elem; /* Run queue list element. */
+