1# Copyright (c) 2019 Intel Corp.
2# SPDX-License-Identifier: Apache-2.0
3
4#
5# XXX: When using the Intel toolchain, cmake doesn't recognize .S files
6# automatically, and I can't be bothered to figure out how to fix this.
7#
8
9set_property(SOURCE intel64/locore.S PROPERTY LANGUAGE ASM)
10
11zephyr_library_sources(
12  intel64/locore.S
13  intel64/cpu.c
14  intel64/irq.c
15  intel64/thread.c
16  intel64/fatal.c
17)
18zephyr_library_sources_ifdef(CONFIG_SMP		intel64/smp.c)
19zephyr_library_sources_ifdef(CONFIG_IRQ_OFFLOAD		intel64/irq_offload.c)
20zephyr_library_sources_ifdef(CONFIG_USERSPACE	intel64/userspace.S)
21zephyr_library_sources_ifdef(CONFIG_THREAD_LOCAL_STORAGE	intel64/tls.c)
22zephyr_library_sources_ifdef(CONFIG_DEBUG_COREDUMP	intel64/coredump.c)
23