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()21inline 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