diff --git a/src/fw/drivers/accessory.c b/src/fw/drivers/accessory.c
index d958af9a..f25ad26d 100644
--- a/src/fw/drivers/accessory.c
+++ b/src/fw/drivers/accessory.c
@@ -39,7 +39,7 @@
 #include "util/likely.h"
 #include "util/size.h"
 
-#include "FreeRTOS.h"       /* FreeRTOS Kernal Prototypes/Constants.          */
+#include "FreeRTOS.h"       /* FreeRTOS Kernel Prototypes/Constants.          */
 #include "semphr.h"
 
 #define STM32F4_COMPATIBLE
diff --git a/src/fw/kernel/core_dump.c b/src/fw/kernel/core_dump.c
index cc572f71..a6fec6d4 100644
--- a/src/fw/kernel/core_dump.c
+++ b/src/fw/kernel/core_dump.c
@@ -63,7 +63,7 @@
 #define STM32F7_COMPATIBLE
 #include <mcu.h>
 
-#include "FreeRTOS.h"       /* FreeRTOS Kernal Prototypes/Constants.          */
+#include "FreeRTOS.h"       /* FreeRTOS Kernel Prototypes/Constants.          */
 #include "task.h"           /* FreeRTOS Task Prototypes/Constants.            */
 
 #include <inttypes.h>