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

config BENCHMARK_TACLEBENCH
	tristate "TacleBench"
	default n
	---help---
		A real-time benchmark from WCET'16.

if BENCHMARK_TACLEBENCH

config BENCHMARK_TACLEBENCH_PRIORITY
	int "TacleBench task priority"
	default 100

config BENCHMARK_TACLEBENCH_STACKSIZE
	int "TacleBench stack size"
	default DEFAULT_TASK_STACKSIZE

endif
