diff --git a/firmware/config/boards/STM32F407VET6_Mini.bat b/firmware/config/boards/STM32F407VET6_Mini.bat
index dff43ff8fc..a139e3f445 100644
--- a/firmware/config/boards/STM32F407VET6_Mini.bat
+++ b/firmware/config/boards/STM32F407VET6_Mini.bat
@@ -7,6 +7,7 @@ rem this board has only 512K flash so using custom FLASH_ADDR
 rem You probably want "flash0  : org = 0x08000000, len = 450K" in the .ld file
 set EXTRA_PARAMS=-DDUMMY -DEFI_COMMUNICATION_PIN=GPIOB_9 -DSTM32_HSECLK=25000000U -DSTM32_PLLM_VALUE=25 -DSTM32_RTCPRE_VALUE=25 -DDEFAULT_ENGINE_TYPE=MINIMAL_PINS^
  -DEFI_INTERNAL_FLASH=FALSE ^
+ -DHAL_USE_RTC=FALSE ^
  -DFLASH_ADDR=0x08075000
 
 make -j8 clean