text: /*
   *  --------------------------------------------------------------------------
   *
   *                                Framework RKH
   *                                -------------
   *
   *            State-machine framework for reactive embedded systems
   *
   *                      Copyright (C) 2010 Leandro Francucci.
   *          All rights reserved. Protected by international copyright laws.
   *
   *
   *  RKH is free software: you can redistribute it and/or modify it under the
   *  terms of the GNU General Public License as published by the Free Software
   *  Foundation, either version 3 of the License, or (at your option) any
   *  later version.
   *
   *  RKH is distributed in the hope that it will be useful, but WITHOUT ANY
   *  WARRANTY; without even the implied warranty of MERCHANTABILITY or
   *  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
   *  more details.
   *
   *  You should have received a copy of the GNU General Public License along
   *  with RKH, see copying.txt file.
   *
   *  Contact information:
   *  RKH web site:   http://sourceforge.net/projects/rkh-reactivesys/
   *  e-mail:         francuccilea@gmail.com
   *  ---------------------------------------------------------------------------
   */
  
  /**
   *  \file       assert.c
   *  \brief      RKH assert function for EDU-CIAA
   *
   *  \ingroup    bsp
   */
  
  /* -------------------------- Development history -------------------------- */
  /*
   *  2017.04.14  DaBa  v2.4.05  Initial version
   */
  
  /* -------------------------------- Authors -------------------------------- */
  /*
   *  DaBa  Dario Bali�a       dariosb@gmail.com
   */
  /* --------------------------------- Notes --------------------------------- */
  /* ----------------------------- Include files ----------------------------- */
  #include "rkh.h"
  #include "rkhfwk_sched.h"
  #include "sapi.h"
  
  RKH_THIS_MODULE
  
  /* ----------------------------- Local macros ------------------------------ */
  #ifdef DEBUG
  #define reset_now()		__asm volatile	("	bkpt 0x00FF\n" )
  #else
  #define reset_now()		NVIC_SystemReset()
  #endif
  
  /* ------------------------------- Constants ------------------------------- */
  /* ---------------------------- Local data types --------------------------- */
  /* ---------------------------- Global variables --------------------------- */
  /* ---------------------------- Local variables ---------------------------- */
  /* ----------------------- Local function prototypes ----------------------- */
  /* ---------------------------- Local functions ---------------------------- */
  /* ---------------------------- Global functions --------------------------- */
  void
  rkh_assert( RKHROM char * const file, int line )
  {
      ( void )line;
  
      RKH_DIS_INTERRUPT();
      RKH_TR_FWK_ASSERT( ( RKHROM char * )file, __LINE__ );
      rkh_fwk_exit();
      reset_now();
  }
  
  /* ------------------------------ File footer ------------------------------ */
  