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 
31 void kernel_init(void);
32 
33 #ifdef __cplusplus
34 }
35 #endif
36 
37 #endif /* KERNEL_INIT_H */
38 
void kernel_init(void)
Initializes scheduler and creates main and idle task.