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/semaphore.h b/kern/semaphore.h
index a18e4701..708417a8 100644
--- a/kern/semaphore.h
+++ b/kern/semaphore.h
@@ -88,7 +88,7 @@ int semaphore_timedwait(struct semaphore *semaphore, uint64_t ticks);
  * Signal a semaphore.
  *
  * This function attempts to increment the semaphore value. If successful, and
- * if one or more threads are waiting on the semaphore, one of them is awaken.
+ * if one or more threads are waiting on the semaphore, one of them is awoken.
  *
  * A semaphore may safely be signalled from interrupt context.
  *