Kenji Arai
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
-
-/** @}*/