diff options
Diffstat (limited to 'os/kernel/kernel.dox')
| -rw-r--r-- | os/kernel/kernel.dox | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/os/kernel/kernel.dox b/os/kernel/kernel.dox index 0cbcd17af..d4206c882 100644 --- a/os/kernel/kernel.dox +++ b/os/kernel/kernel.dox @@ -72,7 +72,12 @@ */
/**
- * @defgroup semaphores Semaphores
+ * @defgroup semaphores Counting Semaphores
+ * @ingroup synchronization
+ */
+
+/**
+ * @defgroup binary_semaphores Binary Semaphores
* @ingroup synchronization
*/
|