text: /** @file hw/targets/tm4c/wdt.cpp
   *  @brief Tiva WDT definitions
   *
   *  @detail
   *
   *  @author Jonathan Thomson 
   */
  /**
   * MIT License
   * 
   * Copyright 2018, Jonathan Thomson 
   * 
   * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
   * associated documentation files (the "Software"), to deal in the Software without restriction,
   * including without limitation the rights to use, copy, modify, merge, publish, distribute,
   * sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
   * furnished to do so, subject to the following conditions:
   * 
   * The above copyright notice and this permission notice shall be included in all copies or
   * substantial portions of the Software.
   * 
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
   * NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
   * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
   * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
   */
  
  /** C/C++ Standard Library Headers */
  #include <cstdint>
  #include <cassert>
  /** jel Library Headers */
  #include "hw/api_wdt.hpp"
  #include "hw/targets/tm4c/tiva_shared.hpp"
  /** Tivaware Library Headers */
  #include "driverlib/sysctl.h"
  
  namespace jel
  {
  namespace hw
  {
  namespace wdt
  {
  
  void WdtController::systemReset()
  {
    SysCtlReset();
  }
  
  } /** namespace wdt */
  } /** namespace hw */
  } /** namespace jel */
  
  