text: /**
   ******************************************************************************
   * @file    watchdog_hal.c
   * @author  Matthew McGowan, Brett Walach
   * @version V1.0.0
   * @date    25-Sept-2014
   * @brief
   ******************************************************************************
    Copyright (c) 2013-2015 Particle Industries, Inc.  All rights reserved.
  
    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 3 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, see <http://www.gnu.org/licenses/>.
   ******************************************************************************
   */
  
  /* Includes -----------------------------------------------------------------*/
  #include "watchdog_hal.h"
  #include "wiced.h"
  
  /* Private typedef ----------------------------------------------------------*/
  
  /* Private define -----------------------------------------------------------*/
  
  /* Private macro ------------------------------------------------------------*/
  
  /* Private variables --------------------------------------------------------*/
  
  /* Extern variables ---------------------------------------------------------*/
  
  /* Private function prototypes ----------------------------------------------*/
  
  // todo find a technique that allows accessor functions to be inlined while still keeping
  // hardware independence.
  bool HAL_watchdog_reset_flagged()
  {
      //IWDG is not enabled on Photon boards by default
      //Now support true sleep modes without system reset
      return false;
  }
  
  void HAL_Notify_WDT()
  {
      platform_watchdog_kick();
  }
  