L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
l4aux.h
Go to the documentation of this file.
1
#pragma once
6
/*
7
* (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8
* Alexander Warg <warg@os.inf.tu-dresden.de>,
9
* Björn Döbel <doebel@os.inf.tu-dresden.de>
10
* economic rights: Technische Universität Dresden (Germany)
11
*
12
* This file is part of TUD:OS and distributed under the terms of the
13
* GNU General Public License 2.
14
* Please see the COPYING-GPL-2 file for details.
15
*
16
* As a special exception, you may use this file as part of a free software
17
* library without restriction. Specifically, if other files instantiate
18
* templates or use macros or inline functions from this file, or you compile
19
* this file and link it with other files to produce an executable, this
20
* file does not by itself cause the resulting executable to be covered by
21
* the GNU General Public License. This exception does not however
22
* invalidate any other reasons why the executable file might be covered by
23
* the GNU General Public License.
24
*/
25
26
#include <
l4/sys/types.h
>
27
39
enum
l4re_aux_ldr_flags_t
40
{
41
L4RE_AUX_LDR_FLAG_EAGER_MAP = 0x1,
42
L4RE_AUX_LDR_FLAG_ALL_SEGS_COW = 0x2,
43
L4RE_AUX_LDR_FLAG_PINNED_SEGS = 0x4,
44
};
45
51
typedef
struct
l4re_aux_t
52
{
53
char
const
*
binary
;
54
l4_cap_idx_t
kip_ds
;
55
l4_umword_t
dbg_lvl
;
56
l4_umword_t
ldr_flags
;
57
}
l4re_aux_t
;
58
l4re_aux_ldr_flags_t
l4re_aux_ldr_flags_t
Flags for program loading.
Definition
l4aux.h:40
l4_umword_t
unsigned long l4_umword_t
Unsigned machine word.
Definition
l4int.h:51
l4_cap_idx_t
unsigned long l4_cap_idx_t
Capability selector type.
Definition
types.h:358
types.h
Common L4 ABI Data Types.
l4re_aux_t
Auxiliary descriptor.
Definition
l4aux.h:52
l4re_aux_t::binary
char const * binary
Binary name.
Definition
l4aux.h:53
l4re_aux_t::kip_ds
l4_cap_idx_t kip_ds
Data space of the KIP.
Definition
l4aux.h:54
l4re_aux_t::ldr_flags
l4_umword_t ldr_flags
Flags for l4re, see l4re_aux_ldr_flags_t.
Definition
l4aux.h:56
l4re_aux_t::dbg_lvl
l4_umword_t dbg_lvl
Debug levels for l4re.
Definition
l4aux.h:55
l4
re
l4aux.h
Generated on Tue Oct 17 2023 12:44:35 for L4Re Operating System Framework – Interface and Usage Documentation by
1.9.8