diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2009-08-30 07:17:22 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2009-08-30 07:17:22 +0000 |
| commit | c7b1157dc9f3ae577d592ab3207a84e64140eabe (patch) | |
| tree | 6be9fbbf0ec524905e64e44f05e09ef85452d29d /os/ports | |
| parent | 397ccffac55ffd139d0e3e82add83e51413c1347 (diff) | |
| download | ChibiOS-c7b1157dc9f3ae577d592ab3207a84e64140eabe.tar.gz ChibiOS-c7b1157dc9f3ae577d592ab3207a84e64140eabe.tar.bz2 ChibiOS-c7b1157dc9f3ae577d592ab3207a84e64140eabe.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1134 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/ports')
| -rw-r--r-- | os/ports/ports.dox | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/os/ports/ports.dox b/os/ports/ports.dox new file mode 100644 index 000000000..5fd3caa95 --- /dev/null +++ b/os/ports/ports.dox @@ -0,0 +1,25 @@ +/*
+ ChibiOS/RT - Copyright (C) 2006-2007 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 ports Ports
+ * This section describes the technical details of the various supported
+ * ChibiOS/RT ports.
+ */
+
|