build/configs/esp32_DevKitC: Modify esp32_DevKitC/tc defconfig
Enable kernel testcase: round robin task scheduler test.
@@ -272,7 +272,7 @@ CONFIG_DEV_CONSOLE=y
CONFIG_NFILE_DESCRIPTORS=8
CONFIG_NFILE_STREAMS=8
CONFIG_NAME_MAX=32
-# CONFIG_PRIORITY_INHERITANCE is not set
+CONFIG_PRIORITY_INHERITANCE=y
#
# RTOS hooks
@@ -436,7 +436,7 @@ CONFIG_UART1_2STOP=0
# Wireless Device Options
#
# CONFIG_DRIVERS_WIRELESS is not set
-# CONFIG_KERNEL_TEST_DRV is not set
+CONFIG_KERNEL_TEST_DRV=y
#
# Networking Support
@@ -730,7 +730,7 @@ CONFIG_TC_KERNEL_LIBC_UNISTD=y
CONFIG_TC_KERNEL_LIBC_SYSLOG=y
CONFIG_TC_KERNEL_MQUEUE=y
CONFIG_TC_KERNEL_PTHREAD=y
-# CONFIG_TC_KERNEL_ROUNDROBIN is not set
+CONFIG_TC_KERNEL_ROUNDROBIN=y
CONFIG_TC_KERNEL_SCHED=y
CONFIG_TC_KERNEL_SEMAPHORE=y
CONFIG_TC_KERNEL_SIGNAL=y
