add tos_slist.h, rename tos.h to tos_k.h

arch/arm/arm-v6m/common/tos_cpu.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include <tos.h>
+#include <tos_k.h>
 
 __API__ uint32_t tos_cpu_clz(uint32_t val)
 {

arch/arm/arm-v6m/common/tos_fault.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 
 #if TOS_CFG_FAULT_BACKTRACE_EN > 0u
 

arch/arm/arm-v6m/cortex-m0/armcc/port_c.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v6m/cortex-m0/gcc/port_c.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v6m/cortex-m0/iccarm/port_c.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/common/tos_cpu.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include <tos.h>
+#include <tos_k.h>
 
 __API__ uint32_t tos_cpu_clz(uint32_t val)
 {

arch/arm/arm-v7m/common/tos_fault.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 
 #if TOS_CFG_FAULT_BACKTRACE_EN > 0u
 

arch/arm/arm-v7m/cortex-m0+/armcc/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0plus.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m0+/gcc/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0plus.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m0+/iccarm/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0plus.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m3/armcc/port_c.c

@@ -40,7 +40,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm3.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m3/gcc/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm3.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m4/armcc/port_c.c

@@ -40,7 +40,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm4.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m4/gcc/port_c.c

@@ -40,7 +40,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm4.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m4/iccarm/port_c.c

@@ -40,7 +40,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm4.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m7/armcc/port_c.c

@@ -40,7 +40,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm7.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m7/gcc/port_c.c

@@ -23,7 +23,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm7.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v7m/cortex-m7/iccarm/port_c.c

@@ -23,7 +23,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm7.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v8m/common/tos_cpu.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include <tos.h>
+#include <tos_k.h>
 
 __API__ uint32_t tos_cpu_clz(uint32_t val)
 {

arch/arm/arm-v8m/common/tos_fault.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 
 #if TOS_CFG_FAULT_BACKTRACE_EN > 0u
 

arch/arm/arm-v8m/cortex-m23/armcc/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm23.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v8m/cortex-m23/gcc/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0plus.h"
 
 __PORT__ void port_cpu_reset(void)

arch/arm/arm-v8m/cortex-m23/iccarm/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 #include "core_cm0plus.h"
 
 __PORT__ void port_cpu_reset(void)

arch/linux/common/tos_cpu.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include <tos.h>
+#include <tos_k.h>
 
 __API__ uint32_t tos_cpu_clz(uint32_t val)
 {

arch/linux/common/tos_fault.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 
 #if TOS_CFG_FAULT_BACKTRACE_EN > 0u
 

arch/linux/posix/gcc/port.c

@@ -40,7 +40,7 @@
  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "tos.h"
+#include "tos_k.h"
 
 #include <pthread.h>
 #include <sched.h>

arch/msp430/MSP430X/icc430/port_c.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 
 __PORT__ void port_cpu_reset(void)
 {

arch/msp430/common/tos_cpu.c

@@ -1,4 +1,21 @@
-#include <tos.h>
+/*----------------------------------------------------------------------------
+ * Tencent is pleased to support the open source community by making TencentOS
+ * available.
+ *
+ * Copyright (C) 2019 THL A29 Limited, a Tencent company. All rights reserved.
+ * If you have downloaded a copy of the TencentOS binary from Tencent, please
+ * note that the TencentOS binary is licensed under the BSD 3-Clause License.
+ *
+ * If you have downloaded a copy of the TencentOS source code from Tencent,
+ * please note that TencentOS source code is licensed under the BSD 3-Clause
+ * License, except for the third-party components listed below which are
+ * subject to different license terms. Your integration of TencentOS into your
+ * own projects may require compliance with the BSD 3-Clause License, as well
+ * as the other licenses applicable to the third-party components included
+ * within TencentOS.
+ *---------------------------------------------------------------------------*/
+
+#include <tos_k.h>
 
 uint8_t irq_context_switch_flag = 0;
 

arch/risc-v/common/tos_cpu.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include <tos.h>
+#include <tos_k.h>
 #include <riscv_port.h>
 
 #ifndef TOS_CFG_IRQ_STK_SIZE

arch/risc-v/rv32i/gcc/port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include <tos.h>
+#include <tos_k.h>
 #include "riscv_port.h"
 
 __PORT__ void port_systick_config(uint32_t cycle_per_tick)

arch/risc-v/spike/gcc/riscv_port_c.c

@@ -15,7 +15,7 @@
  * within TencentOS.
  *---------------------------------------------------------------------------*/
 
-#include "tos.h"
+#include "tos_k.h"
 
 __PORT__ void port_cpu_init() {
     // DO NOTHING

board/ALIENTEK-MiniSTM32F103RCT6/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f1xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/ALIENTEK-MiniSTM32F103RCT6/BSP/Src/stm32f1xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f1xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/ALIENTEK_Apollo_STM32F767/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f7xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/ALIENTEK_Apollo_STM32F767/BSP/Src/stm32f7xx_it.c

@@ -34,7 +34,7 @@
 #include "stm32f7xx_hal.h"
 #include "stm32f7xx.h"
 #include "stm32f7xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* USER CODE BEGIN 0 */
 
 /* USER CODE END 0 */

board/ALIENTEK_Apollo_STM32F767/BSP/Src/tickless/bsp_pm_device.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "mcu_init.h"
 
 #if TOS_CFG_PWR_MGR_EN > 0u

board/ALIENTEK_Apollo_STM32F767/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "tickless/bsp_pm_device.h"
 #include "tickless/bsp_tickless_alarm.h"
 

board/ALIENTEK_Apollo_STM32F767/BSP/Src/tickless/bsp_tickless_alarm.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 
 #include "stm32f7xx_hal.h"
 #include "stm32f7xx_hal_tim.h"

board/ALIENTEK_EXPLORER_STM32F407ZGT6/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f4xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/ALIENTEK_EXPLORER_STM32F407ZGT6/BSP/Src/stm32f4xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f4xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/ALIENTEK_Elite_STM32F103ZET6/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f1xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/ALIENTEK_Elite_STM32F103ZET6/BSP/Src/stm32f1xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f1xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/ALIENTEK_Pandora_STM32L475/BSP/Inc/mcu_init.h

@@ -10,7 +10,7 @@ extern "C" {
 #include "usart.h"
 #include "gpio.h"
 #include "spi.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "lcd.h"
 
 void board_init(void);

board/ALIENTEK_Pandora_STM32L475/BSP/Src/stm32l4xx_it.c

@@ -23,7 +23,7 @@
 #include "stm32l4xx_it.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
-#include "tos.h"
+#include "tos_k.h"
 /* USER CODE END Includes */
 /* Private typedef -----------------------------------------------------------*/
 /* USER CODE BEGIN TD */

board/ALIENTEK_STM32F429/BSP/Inc/mcu_init.h

@@ -13,7 +13,7 @@
 #include "usart.h"
 #include "gpio.h"
 #include "rng.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/ALIENTEK_STM32F429/BSP/Src/bsp_eth.c

@@ -20,7 +20,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "bsp_eth.h"
 #include "main.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "lwip/opt.h"
 #include "lwip/timeouts.h"
 #include "netif/ethernet.h"

board/ALIENTEK_STM32F429/BSP/Src/stm32f4xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f4xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/ALIENTEK_STM32F429/BSP/Src/tickless/bsp_pm_device.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "mcu_init.h"
 
 #if TOS_CFG_PWR_MGR_EN > 0u

board/ALIENTEK_STM32F429/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "tickless/bsp_pm_device.h"
 #include "tickless/bsp_tickless_alarm.h"
 

board/ALIENTEK_STM32F429/BSP/Src/tickless/bsp_tickless_alarm.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 
 #include "stm32f4xx_hal.h"
 #include "stm32f4xx_hal_tim.h"

board/ALIENTEK_WarShip_STM32F103ZET6/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f1xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/ALIENTEK_WarShip_STM32F103ZET6/BSP/Src/stm32f1xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f1xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/BearPi_STM32L431RC/BSP/Inc/mcu_init.h

@@ -12,7 +12,7 @@
 #include "gpio.h"
 #include "lcd_spi2_drv.h"
 #include "bh1750.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void m26_power_on(void);
 void board_init(void);

board/BearPi_STM32L431RC/BSP/Src/stm32l4xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32l4xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/BearPi_STM32L431RC/BSP/Src/stm32l4xx_it_module.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32l4xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "tos_at.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */

board/BearPi_STM32L431RC/BSP/Src/tickless/bsp_pm_device.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "mcu_init.h"
 
 #if TOS_CFG_PWR_MGR_EN > 0u

board/BearPi_STM32L431RC/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 #include "tickless/bsp_pm_device.h"
 #include "tickless/bsp_tickless_alarm.h"
 

board/BearPi_STM32L431RC/BSP/Src/tickless/bsp_tickless_alarm.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 
 #include "stm32l4xx_hal.h"
 #include "stm32l4xx_hal_tim.h"

board/Fire_STM32F103VEtx/BSP/Inc/mcu_init.h

@@ -13,7 +13,7 @@
 #include "usart.h"
 #include "usb.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/Fire_STM32F103VEtx/BSP/Src/stm32f1xx_it.c

@@ -34,7 +34,7 @@
 #include "stm32f1xx_hal.h"
 #include "stm32f1xx.h"
 #include "stm32f1xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "usart.h"
 /* USER CODE BEGIN 0 */
 

board/GigaDevice_GD32450i_EVAL/BSP/Src/gd32f4xx_it.c

@@ -12,7 +12,7 @@
 #include "gd32f4xx_it.h"
 #include "main.h"
 #include "systick.h"
-#include "tos.h"
+#include "tos_k.h"
 
 /*!
     \brief      this function handles NMI exception

board/GigaDevice_GD32E103V_EVAL/BSP/Src/gd32e10x_it.c

@@ -36,7 +36,7 @@ OF SUCH DAMAGE.
 
 #include "gd32e10x_it.h"
 #include "systick.h"
-#include "tos.h"
+#include "tos_k.h"
 /*!
     \brief      this function handles NMI exception
     \param[in]  none

board/GigaDevice_GD32E230C_START/BSP/Src/gd32e23x_it.c

@@ -36,7 +36,7 @@ OF SUCH DAMAGE.
 
 #include "gd32e23x_it.h"
 #include "systick.h"
-#include "tos.h"
+#include "tos_k.h"
 /*!
     \brief      this function handles NMI exception
     \param[in]  none

board/GigaDevice_GD32F130C_START/BSP/Src/gd32f1x0_it.c

@@ -15,7 +15,7 @@
 #include "gd32f1x0_it.h"
 #include "main.h"
 #include "systick.h"
-#include "tos.h"
+#include "tos_k.h"
 /*!
     \brief      this function handles NMI exception
     \param[in]  none

board/GigaDevice_GD32F207ZET6/BSP/Src/gd32f20x_it.c

@@ -39,7 +39,7 @@ OF SUCH DAMAGE.
 #include "gd32f20x_it.h"
 #include "main.h"
 #include "systick.h"
-#include "tos.h"
+#include "tos_k.h"
 /*!
     \brief      this function handles NMI exception
     \param[in]  none

board/GigaDevice_GD32F303C_START/BSP/Src/gd32f30x_it.c

@@ -39,7 +39,7 @@ OF SUCH DAMAGE.
 #include "gd32f30x_it.h"
 #include "main.h"
 #include "systick.h"
-#include "tos.h"
+#include "tos_k.h"
 /*!
     \brief      this function handles NMI exception
     \param[in]  none

board/GigaDevice_GD32VF103C_EVAL/BSP/Src/gd32vf103_it.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 
 // systick handler
 void eclic_mtip_handler() {

board/GigaDevice_GD32VF103C_EVAL/eclipse/hello_world/main.c

@@ -1,5 +1,5 @@
 #include "mcu_init.h"
-#include "tos.h"
+#include "tos_k.h"
 
 #define TASK_SIZE 1024
 k_task_t k_task_task1;

board/GigaDevice_GD32VF103C_START/BSP/Src/gd32vf103_it.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 
 // systick handler
 void eclic_mtip_handler() {

board/GigaDevice_GD32VF103C_START/eclipse/hello_world/main.c

@@ -1,5 +1,5 @@
 #include "mcu_init.h"
-#include "tos.h"
+#include "tos_k.h"
 
 #define TASK_SIZE 1024
 k_task_t k_task_task1;

board/LTE_DTU_SIM7600/BSP/Inc/mcu_init.h

@@ -9,7 +9,7 @@
 #include "i2c.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/LTE_DTU_SIM7600/BSP/Inc/tos_at.h

@@ -18,7 +18,7 @@
 #ifndef _TOS_AT_H_
 #define _TOS_AT_H_
 
-#include "tos.h"
+#include "tos_k.h"
 #include "tos_at_utils.h"
 #include "tos_hal.h"
 

board/LTE_DTU_SIM7600/BSP/Src/stm32f1xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f1xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/LTE_DTU_SIM7600/BSP/Src/stm32f1xx_it_module.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f1xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "tos_at.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */

board/N32G020K8_TB_V11/tencent_os_mqtt/src/n32g020xx_it.c

@@ -34,7 +34,7 @@
 #include "n32g020xx_log.h"
 #include "tos_at.h"
 /* USER CODE BEGIN 0 */
-#include <tos.h>
+#include <tos_k.h>
 
 /* USER CODE END 0 */
 

board/NUCLEO_STM32F072RB/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f0xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32F072RB/BSP/Src/stm32f0xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f0xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32F103RB/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f1xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32F103RB/BSP/Src/stm32f1xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f1xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32F401RE/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32f4xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32F401RE/BSP/Src/stm32f4xx_it.c

@@ -23,7 +23,7 @@
 #include "stm32f4xx_it.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
-#include "tos.h"
+#include "tos_k.h"
 /* USER CODE END Includes */
 
 /* Private typedef -----------------------------------------------------------*/

board/NUCLEO_STM32F746ZG/BSP/Inc/mcu_init.h

@@ -10,7 +10,7 @@
 #include "gpio.h"
 #include "bsp_eth.h"
 #include "usb_otg.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32F746ZG/BSP/Src/bsp_eth.c

@@ -20,7 +20,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "bsp_eth.h"
 #include "main.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "lwip/opt.h"
 #include "lwip/timeouts.h"
 #include "netif/ethernet.h"

board/NUCLEO_STM32F746ZG/BSP/Src/iperf.c

@@ -1,4 +1,4 @@
-#include "tos.h"
+#include "tos_k.h"
 
 #include <stdint.h>
 #include <stdio.h>

board/NUCLEO_STM32F746ZG/BSP/Src/stm32f7xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f7xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32F746ZG/BSP/Src/stm32f7xx_it_noeth.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32f7xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32G070RB/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32g0xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32G070RB/BSP/Src/stm32g0xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32g0xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32G071RB/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32g0xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32G071RB/BSP/Src/stm32g0xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32g0xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32L053R8/BSP/Inc/mcu_init.h

@@ -10,7 +10,7 @@
 #include "i2c.h"
 #include "gpio.h"
 #include "rhf76_lora.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32L053R8/BSP/Src/rhf76_lora.c

@@ -1,5 +1,5 @@
 #include "rhf76_lora.h"
-#include "tos.h"
+#include "tos_k.h"
 
 uint16_t rx_rd_index  = 0;
 uint16_t rx_wr_index = 0;

board/NUCLEO_STM32L053R8/BSP/Src/stm32l0xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32l0xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32L053R8/BSP/Src/stm32l0xx_it_module.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32l0xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32L073RZ/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32l0xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "i2c.h"
 
 void board_init(void);

board/NUCLEO_STM32L073RZ/BSP/Src/stm32l0xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32l0xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32L073RZ/BSP/Src/stm32l0xx_it_lorawan.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32l0xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 #include "tos_at.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */

board/NUCLEO_STM32L432KC/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32l4xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);

board/NUCLEO_STM32L432KC/BSP/Src/stm32l4xx_it.c

@@ -21,7 +21,7 @@
 /* Includes ------------------------------------------------------------------*/
 #include "main.h"
 #include "stm32l4xx_it.h"
-#include "tos.h"
+#include "tos_k.h"
 /* Private includes ----------------------------------------------------------*/
 /* USER CODE BEGIN Includes */
 /* USER CODE END Includes */

board/NUCLEO_STM32L433RC/BSP/Inc/mcu_init.h

@@ -8,7 +8,7 @@
 #include "stm32l4xx_hal.h"
 #include "usart.h"
 #include "gpio.h"
-#include "tos.h"
+#include "tos_k.h"
 
 void board_init(void);
 void SystemClock_Config(void);