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 */
47 
52 void kernel_init(void);
53 
54 #ifdef __cplusplus
55 }
56 #endif
57 
58 #endif /* KERNEL_INIT_H */
59 
kernel_init
void kernel_init(void)
Initializes scheduler and creates main and idle task.