Loading...
Searching...
No Matches
kernel_init.h
Go to the documentation of this file.
1/*
2 * SPDX-FileCopyrightText: 2016 Kaspar Schleiser <kaspar@schleiser.de>
3 * SPDX-FileCopyrightText: 2013 Freie Universität Berlin
4 * SPDX-License-Identifier: LGPL-2.1-only
5 */
6
7#pragma once
8
19
20#ifdef __cplusplus
21extern "C" {
22#endif
23
29#ifdef DOXYGEN
30
34#define CONFIG_SKIP_BOOT_MSG
35
40#define CONFIG_BOOT_MSG_STRING
41
42#endif /* DOXYGEN */
44
48void kernel_init(void);
49
53void board_init(void);
54
58#ifdef MODULE_CORE_INIT
59void early_init(void);
60#else
61static inline void early_init(void) {}
62#endif
63
64#ifdef __cplusplus
65}
66#endif
67
kernel_init
void kernel_init(void)
Initializes scheduler and creates main and idle task.
early_init
static void early_init(void)
Initialize debug LEDs and stdio.
Definition kernel_init.h:61
board_init
void board_init(void)
Initialize board specific hardware.