mbed-os5 only for TYBLE16
Dependents: TYBLE16_simple_data_logger TYBLE16_MP3_Air
Diff: rtos/Kernel.h
- Revision:
- 1:9db0e321a9f4
- Parent:
- 0:5b88d5760320
--- a/rtos/Kernel.h Tue Dec 17 23:23:45 2019 +0000 +++ b/rtos/Kernel.h Tue Dec 31 06:02:27 2019 +0000 @@ -1,5 +1,5 @@ /* mbed Microcontroller Library - * Copyright (c) 2017 ARM Limited + * Copyright (c) 2017-2019 ARM Limited * * Permission is hereby granted, free of charge, to any person obtaining a copy * of this software and associated documentation files (the "Software"), to deal @@ -23,10 +23,10 @@ #define KERNEL_H #include <stdint.h> -#include "cmsis_os2.h" +#include "rtos/mbed_rtos_types.h" namespace rtos { -/** \addtogroup rtos */ +/** \addtogroup rtos-public-api */ /** @{*/ /** Functions in the Kernel namespace control RTOS kernel information. */ @@ -60,7 +60,7 @@ } // namespace Kernel +/** @}*/ + } // namespace rtos #endif - -/** @}*/