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 #pragma once
10 
11 #include <l4/sys/types.h>
12 #include <l4/sys/kip.h>
13 
14 #include "obj_reg.h"
15 
16 namespace Moe { class Dataspace; };
17 
18 extern L4::Cap<void> root_name_space_obj;
19 extern Moe::Dataspace *kip_ds;
20 extern "C" l4_kernel_info_t *_current_kip;
kip()21 inline l4_kernel_info_t const *kip() { return _current_kip; }
22 
23 extern Object_pool object_pool;
24 extern char const *const PROG;
25 extern char log_buffer[1024];
26 
27 namespace Moe { namespace Virt_limit {
28   extern l4_addr_t start;
29   extern l4_addr_t end;
30 }}
31 
32 namespace Moe {
33   extern unsigned l4re_dbg;
34   extern unsigned ldr_flags;
35 }
36 
37 enum
38 {
39   Sigma0_cap     = L4_BASE_PAGER_CAP,
40 };
41