src/rtos/rtos_riot_stackings.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 /***************************************************************************
   4  *   Copyright (C) 2015 by Daniel Krebs                                    *
   5  *   Daniel Krebs - github@daniel-krebs.net                                *
   6  ***************************************************************************/
   7
   8 #ifndef OPENOCD_RTOS_RTOS_RIOT_STACKINGS_H
   9 #define OPENOCD_RTOS_RTOS_RIOT_STACKINGS_H
  10
  11 #ifdef HAVE_CONFIG_H
  12 #include "config.h"
  13 #endif
  14
  15 #include "rtos.h"
  16
  17 extern const struct rtos_register_stacking rtos_riot_cortex_m0_stacking;
  18 extern const struct rtos_register_stacking rtos_riot_cortex_m34_stacking;
  19
  20 #endif  /* OPENOCD_RTOS_RTOS_RIOT_STACKINGS_H */
  21