1# SPDX-License-Identifier: Apache-2.0
2
3zephyr_syscall_header(
4  ${ZEPHYR_BASE}/include/zephyr/sys/mutex.h
5)
6
7zephyr_sources(
8  cbprintf_packaged.c
9  printk.c
10  sem.c
11  thread_entry.c
12  )
13
14zephyr_sources_ifdef(CONFIG_FDTABLE fdtable.c)
15
16zephyr_sources_ifdef(CONFIG_CBPRINTF_COMPLETE cbprintf_complete.c)
17zephyr_sources_ifdef(CONFIG_CBPRINTF_NANO cbprintf_nano.c)
18
19if(NOT CONFIG_PICOLIBC)
20  zephyr_sources(cbprintf.c)
21endif()
22
23if (CONFIG_ASSERT OR CONFIG_ASSERT_VERBOSE)
24zephyr_sources(assert.c)
25endif()
26
27zephyr_sources_ifdef(CONFIG_USERSPACE mutex.c user_work.c)
28
29zephyr_sources_ifdef(CONFIG_MPSC_PBUF mpsc_pbuf.c)
30
31zephyr_sources_ifdef(CONFIG_SPSC_PBUF spsc_pbuf.c)
32
33zephyr_sources_ifdef(CONFIG_SCHED_DEADLINE p4wq.c)
34
35zephyr_sources_ifdef(CONFIG_REBOOT reboot.c)
36
37zephyr_sources_ifdef(CONFIG_POWEROFF poweroff.c)
38
39zephyr_library_include_directories(
40  ${ZEPHYR_BASE}/kernel/include
41  ${ZEPHYR_BASE}/arch/${ARCH}/include
42)
43