mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
169:e3b6fe271b81
Parent:
167:e84263d55307
Child:
174:b96e65c34a4d
--- a/targets/TARGET_NORDIC/TARGET_NRF5/us_ticker.c	Thu Jul 06 15:42:05 2017 +0100
+++ b/targets/TARGET_NORDIC/TARGET_NRF5/us_ticker.c	Wed Jul 19 17:31:21 2017 +0100
@@ -303,22 +303,6 @@
 static uint32_t frozen_sub_tick = 0;
      
 
-/*
- RTX provide the following definitions which are used by the tick code:
-   * osRtxConfig.tick_freq: The RTX tick frequency.
-   * osRtxInfo.kernel.tick: Count of RTX ticks.
-   
-   * SysTick_Handler: The function which handle a tick event.
-     This function is special because it never returns.
- Those definitions are used by the code which handle the os tick.
- To allow compilation of us_ticker programs without RTOS, those symbols are
- exported from this module as weak ones.
- */
-MBED_WEAK void SysTick_Handler(void)
-{
-}
-
-
 #ifdef MBED_CONF_RTOS_PRESENT
     #include "rtx_os.h" //import osRtxInfo, SysTick_Handler()