2 * (c) 2008-2009 Technische Universität Dresden
3 * This file is part of TUD:OS and distributed under the terms of the
4 * GNU General Public License 2.
5 * Please see the COPYING-GPL-2 file for details.
9 #include <l4/sys/types.h>
10 #include <l4/re/mem_alloc>
11 #include <l4/re/util/bitmap_cap_alloc>
13 #include <l4/re/l4aux.h>
21 Max_local_rm_caps = 1024,
24 typedef L4Re::Util::Cap_alloc<Max_local_rm_caps> Cap_alloc;
25 extern Region_map *local_rm;
26 extern L4::Cap<L4Re::Mem_alloc> allocator;
27 extern Cap_alloc cap_alloc;
28 extern char const *const *argv;
29 extern char const *const *envp;
31 extern l4re_aux_t *l4re_aux;