l4/pkg/moe/server/src/globals.h

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