1 /*
2  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3  *               Alexander Warg <warg@os.inf.tu-dresden.de>
4  *     economic rights: Technische Universität Dresden (Germany)
5  *
6  * This file is part of TUD:OS and distributed under the terms of the
7  * GNU General Public License 2.
8  * Please see the COPYING-GPL-2 file for details.
9  */
10 #ifndef GLOBALS_H
11 #define GLOBALS_H
12 
13 #include <l4/cxx/iostream>
14 #include <l4/sys/types.h>
15 
16 /* Special options for compatibility reasons */
17 
18 enum {
19   debug_errors        = 1,
20   debug_warnings      = 0,
21   debug_ipc           = 0,
22   debug_memory_maps   = 1,
23 
24 };
25 
26 /* globals defined here (when included from globals.c) */
27 #define PROG_NAME "SIGMA0"
28 
29 enum {
30   sigma0_taskno = 2,
31   root_taskno = 4
32 };
33 
34 extern "C" void L4_NORETURN _exit(int);
35 
abort()36 inline void L4_NORETURN abort()
37 {
38   L4::cout << "FATAL: Sigma0 terminated!\n";
39   _exit(1);
40 }
41 
42 #endif
43