]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/l4re/include/cap_alloc
update
[l4.git] / l4 / pkg / l4re / include / cap_alloc
index b57e17b93a28611ef244db27f2160a215e8c49fe..829b7e06cb60620d99d8431e1483d0b11ef9244b 100644 (file)
@@ -4,7 +4,10 @@
  * \brief Abstract capability-allocator interface
  */
 /*
- * (c) 2009 Technische Universität Dresden
+ * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ *          Alexander Warg <warg@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.