]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/l4re-core/sigma0/server/src/mem_man_test.h
Update
[l4.git] / l4 / pkg / l4re-core / sigma0 / server / src / mem_man_test.h
1 /*
2  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
3  *     economic rights: Technische Universität Dresden (Germany)
4  *
5  * This file is part of TUD:OS and distributed under the terms of the
6  * GNU General Public License 2.
7  * Please see the COPYING-GPL-2 file for details.
8  */
9 #ifndef MEM_MAN_TEST_H__
10 #define MEM_MAN_TEST_H__
11
12 void mem_man_test();
13
14 #endif