text: /*****************************************************************************
  * Product: DPP example
  * Last Updated for Version: 5.4.0
  * Date of the Last Update:  2015-03-07
  *
  *                    Q u a n t u m     L e a P s
  *                    ---------------------------
  *                    innovating embedded systems
  *
  * Copyright (C) Quantum Leaps, LLC. All rights reserved.
  *
  * This program is open source 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.
  *
  * Alternatively, this program may be distributed and modified under the
  * terms of Quantum Leaps commercial licenses, which expressly supersede
  * the GNU General Public License and are specifically designed for
  * licensees interested in retaining the proprietary status of their code.
  *
  * This program 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 this program. If not, see <http://www.gnu.org/licenses/>.
  *
  * Contact information:
  * Web  : http://www.state-machine.com
  * Email: info@state-machine.com
  *****************************************************************************/
  #ifndef bsp_h
  #define bsp_h
  
  #define BSP_TICKS_PER_SEC    50U
  
  void BSP_init(void);
  void BSP_displayPaused(uint8_t paused);
  void BSP_displayPhilStat(uint8_t n, char_t const *stat);
  void BSP_terminate(int16_t result);
  
  void BSP_randomSeed(uint32_t seed);   /* random seed */
  uint32_t BSP_random(void);            /* pseudo-random generator */
  
  #endif /* bsp_h */
  