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