main() ->
  sl_system_init(); -->

  void sl_system_init(void)
  {
    sl_platform_init();
    sl_driver_init();
    sl_service_init();
    sl_stack_init(); -->
    sl_internal_app_init();
  }

    void sl_stack_init(void)
    {
      sl_fem_util_init();
      sl_rail_util_pa_init();
      sl_rail_util_power_manager_init();
      sl_rail_util_pti_init();
      sl_bt_init(); -->
    }

          RAILCb_AssertFailed:
080264b4:   ldr     r3, [pc, #8]    ; (0x80264c0 <RAILCb_AssertFailed+12>)
080264b6:   str     r1, [r3, #0]
080264b8:   ldr     r3, [pc, #8]    ; (0x80264c4 <RAILCb_AssertFailed+16>)
080264ba:   str     r0, [r3, #0]
080264bc:   b.n     0x80264bc <RAILCb_AssertFailed+8>

BURTC_Init_TypeDef burtcInit =  BURTC_INIT_DEFAULT;
...
  BURTC_Init(&burtcInit);

void BURTC_Init(const BURTC_Init_TypeDef *burtcInit)
  uint32_t presc;

  presc = divToLog2(burtcInit->clkDiv);

  if (BURTC->EN != 0U) {
    BURTC_SyncWait();
  }
  BURTC->EN_CLR = BURTC_EN_EN;
...

 *   Before initialization, BURTC module must first be enabled by clearing the
 *   reset bit in the RMU, i.e.,
 * @verbatim
 *   RMU_ResetControl(rmuResetBU, rmuResetModeClear);
 * @endverbatim

/** RMU controlled peripheral reset control and reset source control. */
typedef enum {
#if defined(RMU_CTRL_BURSTEN)
  rmuResetBU = _RMU_CTRL_BURSTEN_MASK,              /**< Reset control over Backup Power domain select. */
#endif

#include "em_burtc.h"
#include "em_cmu.h"
#include "em_gpio.h"

void app_init(void)
{
   GPIO_PinModeSet(gpioPortA, 8, gpioModePushPull, 0); // configure LED pin

   CMU_ClockSelectSet(cmuClock_BURTC, cmuSelect_LFXO); // select BURTC clock
   CMU_ClockEnable(cmuClock_BURTC, true);                // get access to BURTC registers
   BURTC_Init_TypeDef init = BURTC_INIT_DEFAULT;
   init.compare0Top = true;
   BURTC->COMP = 32768;                                  // set BURTC perior
   BURTC_Init(&init);

   BURTC_IntEnable(BURTC_IEN_COMP);                      // set up BURTC interrupt
   NVIC_EnableIRQ(BURTC_IRQn);
}


void app_process_action(void)
{
}

void BURTC_IRQHandler(void)
{
   BURTC_IntClear(BURTC_IF_COMP);                     // clear BURTC interrupt
   GPIO_PinOutToggle(gpioPortA, 8);                    // toggle LED
}