zephyr_sources_ifdef(
  CONFIG_KERNEL_SHELL
  kernel_service.c
  )
