diff --git a/ports/stm32h7/board_irq.c b/ports/stm32h7/board_irq.c
index 2bea67d97..4ed2f3116 100644
--- a/ports/stm32h7/board_irq.c
+++ b/ports/stm32h7/board_irq.c
@@ -72,7 +72,7 @@ typedef struct __attribute__((packed)) CtxFrame {
 __attribute__((optimize("O0")))
 void fault_handler(sFrame *fr)
 {
-  printf(EXC_FMT, EXC_DET(fr));
+  TUF2_LOG1(EXC_FMT, EXC_DET(fr));
   asm("bkpt #0");
 }