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 
10 #pragma once
11 
23 #ifdef __cplusplus
24 extern "C" {
25 #endif
26 
32 #ifdef DOXYGEN
33 
37 #define CONFIG_SKIP_BOOT_MSG
38 
43 #define CONFIG_BOOT_MSG_STRING
44 
45 #endif /* DOXYGEN */
51 void kernel_init(void);
52 
56 void board_init(void);
57 
61 #ifdef MODULE_CORE_INIT
62 void early_init(void);
63 #else
64 static inline void early_init(void) {}
65 #endif
66 
67 #ifdef __cplusplus
68 }
69 #endif
70 
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:64
board_init
void board_init(void)
Initialize board specific hardware.