diff --git a/c/src/ada-tests/tmtests/tmck/config.h b/c/src/ada-tests/tmtests/tmck/config.h
index 0a5927d248..be54f54955 100644
--- a/c/src/ada-tests/tmtests/tmck/config.h
+++ b/c/src/ada-tests/tmtests/tmck/config.h
@@ -22,6 +22,7 @@
 #define CONFIGURE_TEST_NEEDS_TIMER_DRIVER
 
 #define CONFIGURE_MAXIMUM_TASKS              2
+#define CONFIGURE_MAXIMUM_SEMAPHORES         1
 #define CONFIGURE_TICKS_PER_TIMESLICE        0
 
 #define CONFIGURE_POSIX_INIT_THREAD_TABLE