src/rtos/rtos_chibios_stackings.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 /***************************************************************************
   4  *   Copyright (C) 2011 by Broadcom Corporation                            *
   5  *   Evan Hunter - ehunter@broadcom.com                                    *
   6  ***************************************************************************/
   7
   8 #ifndef OPENOCD_RTOS_RTOS_CHIBIOS_STACKINGS_H
   9 #define OPENOCD_RTOS_RTOS_CHIBIOS_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_chibios_arm_v7m_stacking;
  18 extern const struct rtos_register_stacking rtos_chibios_arm_v7m_stacking_w_fpu;
  19
  20 #endif /* OPENOCD_RTOS_RTOS_CHIBIOS_STACKINGS_H */