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 #include "rtos.h"
  12
  13 extern const struct rtos_register_stacking rtos_chibios_arm_v7m_stacking;
  14 extern const struct rtos_register_stacking rtos_chibios_arm_v7m_stacking_w_fpu;
  15
  16 #endif /* OPENOCD_RTOS_RTOS_CHIBIOS_STACKINGS_H */