kernel_init.h

Go to the documentation of this file.

/*
 * Copyright (C) 2016 Kaspar Schleiser <kaspar@schleiser.de>
 *               2013 Freie Universität Berlin
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 */
 
#pragma once
 
#ifdef __cplusplus
extern "C" {
#endif
 
#ifdef DOXYGEN
 
#define CONFIG_SKIP_BOOT_MSG
 
#define CONFIG_BOOT_MSG_STRING
 
#endif /* DOXYGEN */
void kernel_init(void);
 
void board_init(void);
 
#ifdef MODULE_CORE_INIT
void early_init(void);
#else
static inline void early_init(void) {}
#endif
 
#ifdef __cplusplus
}
#endif