diff --git a/platform/robert/boot/src/board/board.h b/platform/robert/boot/src/board/board.h
index c9b8d558..056976cd 100644
--- a/platform/robert/boot/src/board/board.h
+++ b/platform/robert/boot/src/board/board.h
@@ -28,7 +28,7 @@
 #define GPIO_Port_NULL ((GPIO_TypeDef *) 0)
 #define GPIO_Pin_NULL ((uint16_t)0x0000)
 
-// This is generated in order to faciliate the check within the IRQ_MAP macro below
+// This is generated in order to facilitate the check within the IRQ_MAP macro below
 enum {
 #define IRQ_DEF(num, irq) IS_VALID_IRQ__##irq,
 #include "irq_stm32f7.def"
diff --git a/src/fw/board/board.h b/src/fw/board/board.h
index 80de9a56..7744acbb 100644
--- a/src/fw/board/board.h
+++ b/src/fw/board/board.h
@@ -34,7 +34,7 @@
 //! Guaranteed invalid IRQ priority
 #define IRQ_PRIORITY_INVALID (1 << __NVIC_PRIO_BITS)
 
-// This is generated in order to faciliate the check within the IRQ_MAP macro below
+// This is generated in order to facilitate the check within the IRQ_MAP macro below
 enum {
 #define IRQ_DEF(num, irq) IS_VALID_IRQ__##irq,
 #include "irq_stm32.def"