spelling: priority

Signed-off-by: Josh Soref <[email protected]>
2026-10-15 08:04:10 +02:00 · 2025-01-29 00:03:27 -05:00
parent cd127de7e0
commit d4d8ed5147
2 changed files with 2 additions and 2 deletions
@@ -30,7 +30,7 @@
 //! callback to send an event to another thread with evented_timer.h. In the future these other
 //! threads will probably use their own TaskTimerManager instances instead and this thread will
 //! will get a whole lot less busy and reserved for only high priority work. At that time this
-//! thread will probably get renamed something like KernelHighPriortity.
+//! thread will probably get renamed something like KernelHighPriority.

 typedef void (*NewTimerCallback)(void *data);