43 lines
734 B
C
43 lines
734 B
C
/*
|
|
* Copyright (c) 2019 Lexmark International, Inc.
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*
|
|
*/
|
|
|
|
#include <kernel.h>
|
|
#include <device.h>
|
|
#include <init.h>
|
|
#include <arch/arm/aarch32/cortex_a_r/cmsis.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);
|
|
|
|
void z_platform_init(void)
|
|
{
|
|
/*
|
|
* Use normal exception vectors address range (0x0-0x1C).
|
|
*/
|
|
unsigned int sctlr = __get_SCTLR();
|
|
|
|
sctlr &= ~SCTLR_V_Msk;
|
|
__set_SCTLR(sctlr);
|
|
}
|