diff options
Diffstat (limited to 'os/rt/dox')
| -rw-r--r-- | os/rt/dox/rt.dox | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/os/rt/dox/rt.dox b/os/rt/dox/rt.dox index 0972a1dd5..4624f5bfb 100644 --- a/os/rt/dox/rt.dox +++ b/os/rt/dox/rt.dox @@ -34,6 +34,11 @@ */
/**
+ * @defgroup checks License Checks
+ * @ingroup kernel
+ */
+
+/**
* @defgroup base Base Kernel Services
* @details Base kernel services, the base subsystems are always included in
* the OS builds.
|