diff --git a/stmhal/system_stm32f4xx.c b/stmhal/system_stm32f4xx.c
index 4f8090204f..e9742caf40 100644
--- a/stmhal/system_stm32f4xx.c
+++ b/stmhal/system_stm32f4xx.c
@@ -199,6 +199,9 @@ void SystemInit(void)
 #else
   SCB->VTOR = FLASH_BASE | VECT_TAB_OFFSET; /* Vector Table Relocation in Internal FLASH */
 #endif
+
+  /* dpgeorge: enable 8-byte stack alignment for IRQ handlers, in accord with EABI */
+  SCB->CCR |= SCB_CCR_STKALIGN_Msk;
 }
 
 /**