src/rtos/rtos_nuttx_stackings.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 #ifndef INCLUDED_RTOS_NUTTX_STACKINGS_H
   4 #define INCLUDED_RTOS_NUTTX_STACKINGS_H
   5
   6 #include "rtos.h"
   7
   8 extern const struct rtos_register_stacking nuttx_stacking_cortex_m;
   9 extern const struct rtos_register_stacking nuttx_stacking_cortex_m_fpu;
  10 extern const struct rtos_register_stacking nuttx_riscv_stacking;
  11 extern const struct rtos_register_stacking nuttx_esp32_stacking;
  12 extern const struct rtos_register_stacking nuttx_esp32s2_stacking;
  13 extern const struct rtos_register_stacking nuttx_esp32s3_stacking;
  14
  15 #endif  /* INCLUDED_RTOS_NUTTX_STACKINGS_H */