/* | |
* Copyright (c) 2019 Lexmark International, Inc. | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
* | |
*/ | |
#include <kernel.h> | |
#include <device.h> | |
#include <init.h> | |
#include <arch/cpu.h> | |
/** | |
* | |
* @brief Perform basic hardware initialization | |
* | |
* @return 0 | |
*/ | |
static int soc_init(struct device *arg) | |
{ | |
ARG_UNUSED(arg); | |
/* Install default handler that simply resets the CPU | |
* if configured in the kernel, NOP otherwise | |
*/ | |
NMI_INIT(); | |
return 0; | |
} | |
SYS_INIT(soc_init, PRE_KERNEL_1, CONFIG_KERNEL_INIT_PRIORITY_DEFAULT); |