Lines Matching full:kernel

3 # kernel is a normal CMake library and not a zephyr_library because it
8   ${ZEPHYR_BASE}/include/zephyr/kernel.h
24   ${ZEPHYR_BASE}/include/zephyr/kernel/mm.h
30   ${ZEPHYR_BASE}/include/zephyr/kernel/mm/demand_paging.h
33 # If a pre-built static library containing kernel code exists in
42 add_library(kernel INTERFACE)  target
43 target_link_libraries(kernel INTERFACE ${libkernel})
131 add_library(kernel ${kernel_files})  target
133 # Kernel files has the macro __ZEPHYR_SUPERVISOR__ set so that it
137   kernel
143 target_sources_ifdef(CONFIG_REQUIRES_STACK_CANARIES   kernel PRIVATE compiler_stack_protect.c)
144 target_sources_ifdef(CONFIG_SYS_CLOCK_EXISTS      kernel PRIVATE timeout.c timer.c)
145 target_sources_ifdef(CONFIG_ATOMIC_OPERATIONS_C   kernel PRIVATE atomic_c.c)
146 target_sources_ifdef(CONFIG_MMU                   kernel PRIVATE mmu.c)
147 target_sources_ifdef(CONFIG_POLL                  kernel PRIVATE poll.c)
148 target_sources_ifdef(CONFIG_EVENTS                kernel PRIVATE events.c)
149 target_sources_ifdef(CONFIG_PIPES                 kernel PRIVATE pipes.c)
150 target_sources_ifdef(CONFIG_SCHED_THREAD_USAGE    kernel PRIVATE usage.c)
151 target_sources_ifdef(CONFIG_OBJ_CORE              kernel PRIVATE obj_core.c)
154   target_sources(kernel PRIVATE mempool.c)
194   kernel PRIVATE
202   target_sources(kernel PRIVATE dynamic.c)
204   target_sources(kernel PRIVATE dynamic_disabled.c)
207 target_include_directories(kernel PRIVATE
208   ${ZEPHYR_BASE}/kernel/include
212 target_link_libraries(kernel zephyr_interface)
216 add_dependencies(kernel zephyr_generated_headers)