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 
20 #ifdef __cplusplus
21 extern "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 */
48 void kernel_init(void);
49 
53 void board_init(void);
54 
58 #ifdef MODULE_CORE_INIT
59 void early_init(void);
60 #else
61 static 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.