text: /*
   * Copyright (c) 2016 Intel Corporation
   * Copyright (c) 2017 Oticon A/S
   *
   * SPDX-License-Identifier: Apache-2.0
   */
  
  #include <zephyr/kernel.h>
  #include <zephyr/arch/cpu.h>
  #include <zephyr/kernel_structs.h>
  #include <zephyr/sys/printk.h>
  #include <inttypes.h>
  #include <zephyr/logging/log_ctrl.h>
  #include <zephyr/arch/posix/posix_soc_if.h>
  
  FUNC_NORETURN void arch_system_halt(unsigned int reason)
  {
  	ARG_UNUSED(reason);
  
  	posix_print_error_and_exit("Exiting due to fatal error\n");
  	CODE_UNREACHABLE; /* LCOV_EXCL_LINE */
  }
  