diff --git a/include/nuttx/board.h b/include/nuttx/board.h
index 0d742257e3..edc23385dc 100644
--- a/include/nuttx/board.h
+++ b/include/nuttx/board.h
@@ -680,7 +680,7 @@ xcpt_t board_button_irq(int id, xcpt_t irqhandler);
  ****************************************************************************/
 
 #ifdef CONFIG_BOARD_CRASHDUMP
-void board_crashdump(uint32_t currentsp, void *tcb, uint8_t *filename,
+void board_crashdump(uint32_t currentsp, void *tcb, const uint8_t *filename,
                      int lineno);
 #endif