text: /*
   * 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(const 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_arm_platform_init(void)
  {
  	/*
  	 * Use normal exception vectors address range (0x0-0x1C).
  	 */
  	unsigned int sctlr = __get_SCTLR();
  
  	sctlr &= ~SCTLR_V_Msk;
  	__set_SCTLR(sctlr);
  }
  