update

[l4.git] / l4 / pkg / l4sys / include / ARCH-amd64 / L4API-l4f / ipc-l42-gcc3.h

diff --git a/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ipc-l42-gcc3.h b/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ipc-l42-gcc3.h
index 5a0e38a52c790fc5e022262958a8cc30458ab13f..b7fa64aaff89ce7bd21e0c9dbc96f1ea723f8fac 100644 (file)
--- a/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ipc-l42-gcc3.h
+++ b/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ipc-l42-gcc3.h
@@ -3,7 +3,11 @@
  * \brief  IPC system calls for AMD64
  */
 /*
- * (c) 2008-2009 Technische Universität Dresden
+ * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ *               Alexander Warg <warg@os.inf.tu-dresden.de>,
+ *               Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.