2 files changed, 29 insertions, 11 deletions
diff --git a/os/hal/hal.dox b/os/hal/hal.dox
index 20315087b..24e5d9292 100644
--- a/os/hal/hal.dox
+++ b/os/hal/hal.dox
@@ -58,17 +58,6 @@
  */
 
 /**
- * @defgroup platforms Platforms
- * @brief Supported platforms.
- * @details The implementation of the device drivers can be sligthly different
- * on the various platforms because architectural constrains. This section
- * describes the implementation of the various device drivers on the various
- * supported platforms.
- *
- * @ingroup IO
- */
-
-/**
  * @defgroup HAL HAL Driver
  * @brief Hardware Abstraction Layer.
  * @details The HAL driver performs the system initialization and includes
diff --git a/os/hal/platforms/platforms.dox b/os/hal/platforms/platforms.dox
new file mode 100644
index 000000000..9596da2c7
--- /dev/null
+++ b/os/hal/platforms/platforms.dox
@@ -0,0 +1,29 @@
+/*
+    ChibiOS/RT - Copyright (C) 2006,2007,2008,2009,2010 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 platforms Platforms
+ * @brief Supported platforms.
+ * @details The implementation of the device drivers can be sligthly different
+ * on the various platforms because architectural constrains. This section
+ * describes the implementation of the various device drivers on the various
+ * supported platforms.
+ *
+ * @ingroup IO
+ */