L4Re – L4 Runtime Environment
l4mod.h
1 /* SPDX-License-Identifier: GPL-2.0-only or License-Ref-kk-custom */
2 /*
3  * Copyright (C) 2021 Kernkonzept GmbH.
4  * Author(s): Adam Lackorzynski <adam@l4re.org>
5  */
6 #pragma once
7 
8 #include <l4/sys/l4int.h>
9 
11 enum l4util_l4mod_mod_info_flag // aka bootstraps: Mod_info_flags
12 {
13  L4util_l4mod_mod_flag_unspec = 0,
14  L4util_l4mod_mod_flag_kernel = 1,
15  L4util_l4mod_mod_flag_sigma0 = 2,
16  L4util_l4mod_mod_flag_roottask = 3,
17  L4util_l4mod_mod_flag_mask = 7 << 0,
18 };
19 
21 typedef struct
22 {
28 
30 typedef struct
31 {
36  l4_uint32_t _pad;
37 
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition: l4int.h:40
unsigned long long l4_uint64_t
Unsigned 64bit value.
Definition: l4int.h:42
Base module structure.
Definition: l4mod.h:31
l4_uint64_t vbe_mode_info
VESA video mode info.
Definition: l4mod.h:43
l4_uint64_t flags
Flags.
Definition: l4mod.h:32
l4_uint32_t mods_count
Number of modules.
Definition: l4mod.h:35
l4_uint64_t mods_addr
Module list.
Definition: l4mod.h:34
l4_uint64_t vbe_ctrl_info
VESA video info, valid if one of vbe_ctrl_info or vbe_mode_info is not zero.
Definition: l4mod.h:42
l4_uint64_t cmdline
Pointer to kernel command line.
Definition: l4mod.h:33
A single module.
Definition: l4mod.h:22
l4_uint64_t mod_end
End address of module in memory.
Definition: l4mod.h:25
l4_uint64_t flags
Module flags (l4util_l4mod_mod_info_flag)
Definition: l4mod.h:23
l4_uint64_t cmdline
Module command line.
Definition: l4mod.h:26
l4_uint64_t mod_start
Starting address of module in memory.
Definition: l4mod.h:24