1 /*
2  * (c) 2008-2009 Alexander Warg <warg@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 #include "globals.h"
10 #include <cstdio>
11 
12 l4_kernel_info_t *_current_kip;
13 L4::Cap<void> root_name_space_obj;
14 
15 static Cap_alloc _cap_allocator __attribute__((init_priority(1400)));
16 Object_pool __attribute__((init_priority(1401))) object_pool(&_cap_allocator);
17 
18 char log_buffer[1024];
19 Moe::Dataspace *kip_ds;
20 extern char const *const PROG = "moe";
21