1# Copyright (c) 2021 Percepio AB
2# SPDX-License-Identifier: Apache-2.0
3
4menu "Trace Recorder"
5choice PERCEPIO_TRC_CFG_RECORDER_RTOS
6	prompt "Recorder RTOS"
7  	default PERCEPIO_TRC_CFG_RECORDER_RTOS_FREERTOS
8
9config PERCEPIO_TRC_CFG_RECORDER_RTOS_FREERTOS
10	bool "FreeRTOS"
11
12config PERCEPIO_TRC_CFG_RECORDER_RTOS_THREADX
13	bool "ThreadX"
14
15config PERCEPIO_TRC_CFG_RECORDER_RTOS_ZEPHYR
16	bool "Zephyr"
17endchoice
18
19if PERCEPIO_TRC_CFG_RECORDER_RTOS_FREERTOS
20rsource "kernelports/FreeRTOS/config/Kconfig"
21endif # PERCEPIO_TRC_CFG_RECORDER_RTOS_FREERTOS
22
23if PERCEPIO_TRC_CFG_RECORDER_RTOS_THREADX
24rsource "kernelports/ThreadX/config/Kconfig"
25endif # PERCEPIO_TRC_CFG_RECORDER_RTOS_THREADX
26
27if PERCEPIO_TRC_CFG_RECORDER_RTOS_ZEPHYR
28rsource "kernelports/Zephyr/config/Kconfig"
29endif # PERCEPIO_TRC_CFG_RECORDER_RTOS_ZEPHYR
30endmenu # "Trace Recorder"
31