diff options
Diffstat (limited to 'os/kernel/kernel.dox')
| -rw-r--r-- | os/kernel/kernel.dox | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/os/kernel/kernel.dox b/os/kernel/kernel.dox index 3ec1bfd8a..b946d49e9 100644 --- a/os/kernel/kernel.dox +++ b/os/kernel/kernel.dox @@ -35,6 +35,8 @@ /**
* @defgroup types Types
+ * @details The system types are defined into the port layer, please refer to
+ * the core port implementation section.
* @ingroup kernel
*/
@@ -164,12 +166,7 @@ */
/**
- * @defgroup core Port Templates
- * @ingroup kernel
- */
-
-/**
* @defgroup internals Internals
* @ingroup kernel
*/
-
+
\ No newline at end of file |