1# SPDX-License-Identifier: Apache-2.0
2
3zephyr_library()
4
5zephyr_library_sources(
6  thread.c
7  cpu_idle.c
8  fatal.c
9  irq_manage.c
10  swap.S
11  prep_c.c
12  reset.S
13  cache.c
14  exception.S
15  crt0.S
16  )
17
18zephyr_library_sources_ifdef(CONFIG_IRQ_OFFLOAD irq_offload.c)
19zephyr_library_sources_ifdef(CONFIG_TIMING_FUNCTIONS timing.c)
20