• _kernel_end : malloc.h
• current_thread : thread.h, thread.c
• exec : exc.c
• keyboard_buffer : keyboard.c
• keyboard_cnd : keyboard.h, keyboard.c, io.h
• keyboard_mtx : keyboard.h, keyboard.c, io.h
• living_threads : thread.h, thread.c
• runnable_threads : sched.h, sched.c
• thread_id_counter : thread.c
• timer_ll : timers.c
• valid_threads : sched.h, sched.c
• zombies_to_kill_threads : sched.h, sched.c

---