text: /*
    Copyright (c) 2011 Arduino.  All right reserved.
    Copyright (c) 2017 by Gustavo Ramoscelli <gustavoramoscelli@gmail.com>
  
    This library is free software; you can redistribute it and/or
    modify it under the terms of the GNU Lesser General Public
    License as published by the Free Software Foundation; either
    version 2.1 of the License, or (at your option) any later version.
  
    This library 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 Lesser General Public License for more details.
  
    You should have received a copy of the GNU Lesser General Public
    License along with this library; if not, write to the Free Software
    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
  */
  
  #include "Arduino.h"
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  uint32_t millis( void )
  {
     // todo: ensure no interrupts
     //return GetCurrentMilli() ;
     return tickRead(); // @Eric
  }
  
  // Interrupt-compatible version of micros
  uint32_t micros( void )
  {
  //return GetCurrentMicro();
     return 0; // TODO: @Eric: to implement!
  }
  
  #if defined ( __ICCARM__ ) /* IAR Ewarm 5.41+ */
  extern signed int putchar( signed int c ) ;
  /**
   * \brief
   *
   * \param c  Character to output.
   *
   * \return The character that was output.
   */
  extern WEAK signed int putchar( signed int c )
  {
     return c ;
  }
  #endif /* __ICCARM__ */
  
  #ifdef __cplusplus
  }
  #endif
  