add board_noos_millis() for blinky

hw/bsp/stm32f303disc/board_stm32f303disc.c

@@ -55,9 +55,10 @@ void board_init(void)
 
   // Notify runtime of frequency change.
   SystemCoreClockUpdate();
-  // Systick init
+
   #if CFG_TUSB_OS  == OPT_OS_NONE
-    SysTick_Config(SystemCoreClock / 1000);
+  // 1ms tick timer
+  SysTick_Config(SystemCoreClock / 1000);
   #endif
 
   /* -1- Enable GPIOE Clock (to be able to program the configuration registers) */
@@ -112,6 +113,11 @@ uint32_t tusb_hal_millis(void)
 {
   return board_tick2ms(system_ticks);
 }
+
+uint32_t board_noos_millis(void)
+{
+  return system_ticks;
+}
 #endif
 
 void HardFault_Handler (void)