Replace "awaken" with "awoken"

See https://www.merriam-webster.com/words-at-play/usage-awaken-awoken-awakened.

1 files changed, 1 insertions, 1 deletions

diff --git a/kern/thread_i.h b/kern/thread_i.h
index 21f92a29..253998dc 100644
--- a/kern/thread_i.h
+++ b/kern/thread_i.h
@@ -164,7 +164,7 @@ struct thread {
      *     sets its state to dead before calling the scheduler.
      *  2/ Another thread must either already be joining, or join later.
      *     When the thread reference counter drops to zero, the terminating
-     *     flag is set, and the joining thread is awaken, if any. After that,
+     *     flag is set, and the joining thread is awoken, if any. After that,
      *     the join operation polls the state until it sees the target thread
      *     as dead, and then releases its resources.
      */