6 files changed, 52 insertions, 7 deletions
diff --git a/os/nil/dox/nil.dox b/os/nil/dox/nil.dox
new file mode 100644
index 000000000..f3db9e5bb
--- /dev/null
+++ b/os/nil/dox/nil.dox
@@ -0,0 +1,46 @@
+/*
+    ChibiOS/RT - Copyright (C) 2006,2007,2008,2009,2010,
+                 2011,2012,2013,2014 Giovanni Di Sirio.
+
+    This file is part of ChibiOS/RT.
+
+    ChibiOS/RT is free software; you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation; either version 3 of the License, or
+    (at your option) any later version.
+
+    ChibiOS/RT is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*/
+
+/**
+ * @defgroup NIL NIL Kernel
+ * @details The kernel is the portable part of ChibiOS/NIL, this section
+ *          documents the various kernel subsystems.
+ */
+
+/**
+ * @defgroup NIL_CONFIG Configuration
+ * @ingroup NIL
+ */
+
+/**
+ * @defgroup NIL_TYPES Kernel Types
+ * @ingroup NIL
+ */
+
+/**
+ * @defgroup NIL_KERNEL API
+ * @ingroup NIL
+ */
+
+/**
+ * @defgroup NIL_CORE Port Layer
+ * @ingroup NIL
+ */
+ 
+\ No newline at end of file
diff --git a/os/nil/include/nil.h b/os/nil/include/nil.h
index 815b5ead4..e6644f1e9 100644
--- a/os/nil/include/nil.h
+++ b/os/nil/include/nil.h
@@ -23,7 +23,7 @@
  * @details This header includes all the required kernel headers so it is the
  *          only header you usually need to include in your application.
  *
- * @addtogroup NIL
+ * @addtogroup NIL_KERNEL
  * @{
  */
 
diff --git a/os/nil/src/nil.c b/os/nil/src/nil.c
index e79fdca27..f5c0d99dc 100644
--- a/os/nil/src/nil.c
+++ b/os/nil/src/nil.c
@@ -21,8 +21,7 @@
  * @file    nil.c
  * @brief   Nil RTOS main source file.
  *
- * @defgroup NIL API
- * @details Nil RTOS services.
+ * @addtogroup NIL_KERNEL
  * @{
  */
 
diff --git a/os/nil/templates/nilconf.h b/os/nil/templates/nilconf.h
index bf815eb44..394ef30cb 100644
--- a/os/nil/templates/nilconf.h
+++ b/os/nil/templates/nilconf.h
@@ -20,7 +20,7 @@
  * @details A copy of this file must be placed in each project directory, it
  *          contains the application specific kernel settings.
  *
- * @addtogroup config
+ * @addtogroup NIL_CONFIG
  * @details Kernel related settings and hooks.
  * @{
  */
diff --git a/os/nil/templates/nilcore.h b/os/nil/templates/nilcore.h
index 2317ee852..a985c8642 100644
--- a/os/nil/templates/nilcore.h
+++ b/os/nil/templates/nilcore.h
@@ -244,8 +244,8 @@ static inline syssts_t port_get_irq_status(void) {
  * @param[in] sts       the interrupt status word
  *
  * @return              The interrupt status.
- * @retvel false        the word specified a disabled interrupts status.
- * @retvel true         the word specified an enabled interrupts status.
+ * @retval false        the word specified a disabled interrupts status.
+ * @retval true         the word specified an enabled interrupts status.
  */
 static inline bool port_irq_enabled(syssts_t sts) {
 
diff --git a/os/nil/templates/niltypes.h b/os/nil/templates/niltypes.h
index 64ae606ee..9e5ea0a99 100644
--- a/os/nil/templates/niltypes.h
+++ b/os/nil/templates/niltypes.h
@@ -21,7 +21,7 @@
  * @file    templates/niltypes.h
  * @brief   Port system types.
  *
- * @addtogroup NIL_CORE
+ * @addtogroup NIL_TYPES
  * @{
  */