diff --git a/os/src/test/dynamic_config/master/main.cc b/os/src/test/dynamic_config/master/main.cc
index 6caae86b8..e38ba4eb8 100644
--- a/os/src/test/dynamic_config/master/main.cc
+++ b/os/src/test/dynamic_config/master/main.cc
@@ -12,7 +12,6 @@
  */
 
 /* Genode includes */
-#include <os/config.h>
 #include <os/slave.h>
 #include <timer_session/connection.h>
 #include <cap_session/connection.h>