# Copyright (c) 2019 Intel Corp.
# SPDX-License-Identifier: Apache-2.0

#
# XXX: When using the Intel toolchain, cmake doesn't recognize .S files
# automatically, and I can't be bothered to figure out how to fix this.
#

set_property(SOURCE intel64/locore.S PROPERTY LANGUAGE ASM)

zephyr_library_sources(
  intel64/locore.S
  intel64/cpu.c
  intel64/irq.c
  intel64/thread.c
  intel64/fatal.c
)

zephyr_library_sources_ifdef(CONFIG_USERSPACE	intel64/userspace.S)

zephyr_library_sources_ifdef(CONFIG_DEBUG_COREDUMP	intel64/coredump.c)