kernel_init.h
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2016 Kaspar Schleiser <kaspar@schleiser.de>
3  * 2013 Freie Universität Berlin
4  *
5  * This file is subject to the terms and conditions of the GNU Lesser
6  * General Public License v2.1. See the file LICENSE in the top level
7  * directory for more details.
8  */
9 
21 #ifndef KERNEL_INIT_H
22 #define KERNEL_INIT_H
23 
24 #ifdef __cplusplus
25 extern "C" {
26 #endif
27 
33 #ifdef DOXYGEN
34 
38 #define CONFIG_SKIP_BOOT_MSG
39 
44 #define CONFIG_BOOT_MSG_STRING
45 
46 #endif /* DOXYGEN */
52 void kernel_init(void);
53 
57 void board_init(void);
58 
62 #ifdef MODULE_CORE_INIT
63 void early_init(void);
64 #else
65 static inline void early_init(void) {}
66 #endif
67 
68 #ifdef __cplusplus
69 }
70 #endif
71 
72 #endif /* KERNEL_INIT_H */
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:65
board_init
void board_init(void)
Initialize board specific hardware.