get freertos build

hw/bsp/board.h

@@ -123,6 +123,8 @@
 
 #define BOARD_TICKS_HZ       1000
 
+#define board_tick2ms(tck)         ( ( ((uint64_t)(tck)) * 1000) / BOARD_TICKS_HZ )
+
 //--------------------------------------------------------------------+
 // Board Common API
 //--------------------------------------------------------------------+

hw/bsp/ea4357/board_ea4357.c

@@ -79,7 +79,7 @@ void SysTick_Handler (void)
 
 uint32_t tusb_hal_millis(void)
 {
-  return (system_ticks*1000) / BOARD_TICKS_HZ;
+  return board_tick2ms(system_ticks);
 }
 
 #endif

hw/bsp/pca10056/board_pca10056.c

@@ -63,7 +63,7 @@ uint32_t tusb_hal_millis(void)
   //#define tick2ms(tck)         ( ( ((uint64_t)(tck)) * 1000) / configTICK_RATE_HZ )
   //return tick2ms( app_timer_cnt_get() );
 
-  return (system_ticks*1000) / BOARD_TICKS_HZ;
+  return board_tick2ms(system_ticks);
 }
 
 /*------------------------------------------------------------------*/