]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/l4util/include/reboot.h
update
[l4.git] / l4 / pkg / l4util / include / reboot.h
index 7eccd31b7c6357ef00093568c751b0c8eaac0917..3631f770fb74de4da9ce9699bbdbbe5827ca5568 100644 (file)
@@ -3,7 +3,10 @@
  * \brief Machine restarting functions.
  */
 /*
- * (c) 2000-2009 Technische Universität Dresden
+ * (c) 2000-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ *               Alexander Warg <warg@os.inf.tu-dresden.de>,
+ *               Norman Feske <nf2@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 Lesser General Public License 2.1.
  * Please see the COPYING-LGPL-2.1 file for details.