#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

config BENCHMARK_OSPERF
	tristate "System performance profiling"
	default n
	depends on PIPES
	depends on SCHED_HPWORK
	---help---
		Measure the performance of core system functions, such as thread
		switching and the time required for semaphore execution

if BENCHMARK_OSPERF

config BENCHMARK_OSPERF_PRIORITY
	int "OS profiling task priority"
	default 100

config BENCHMARK_OSPERF_STACKSIZE
	int "OS profiling stack size"
	default DEFAULT_TASK_STACKSIZE

endif
