diff --git a/repos/libports/include/spec/arm/stdcxx/bits/c++config.h b/repos/libports/include/spec/arm/stdcxx/bits/c++config.h
index c75bb06078..56a5ff73f6 100644
--- a/repos/libports/include/spec/arm/stdcxx/bits/c++config.h
+++ b/repos/libports/include/spec/arm/stdcxx/bits/c++config.h
@@ -1603,7 +1603,7 @@ namespace std
 
 /* Define if /dev/random and /dev/urandom are available for
    std::random_device. */
-/* #undef _GLIBCXX_USE_DEV_RANDOM */
+#define _GLIBCXX_USE_DEV_RANDOM 1
 
 /* Define if fchmod is available in <sys/stat.h>. */
 #define _GLIBCXX_USE_FCHMOD 1
diff --git a/repos/libports/include/spec/arm_64/stdcxx/bits/c++config.h b/repos/libports/include/spec/arm_64/stdcxx/bits/c++config.h
index c0119b757b..ce28f264f6 100644
--- a/repos/libports/include/spec/arm_64/stdcxx/bits/c++config.h
+++ b/repos/libports/include/spec/arm_64/stdcxx/bits/c++config.h
@@ -1603,7 +1603,7 @@ namespace std
 
 /* Define if /dev/random and /dev/urandom are available for
    std::random_device. */
-/* #undef _GLIBCXX_USE_DEV_RANDOM */
+#define _GLIBCXX_USE_DEV_RANDOM 1
 
 /* Define if fchmod is available in <sys/stat.h>. */
 #define _GLIBCXX_USE_FCHMOD 1
diff --git a/repos/libports/include/spec/x86_32/stdcxx/bits/c++config.h b/repos/libports/include/spec/x86_32/stdcxx/bits/c++config.h
index cd379d003b..c46f20ba5f 100644
--- a/repos/libports/include/spec/x86_32/stdcxx/bits/c++config.h
+++ b/repos/libports/include/spec/x86_32/stdcxx/bits/c++config.h
@@ -1603,7 +1603,7 @@ namespace std
 
 /* Define if /dev/random and /dev/urandom are available for
    std::random_device. */
-/* #undef _GLIBCXX_USE_DEV_RANDOM */
+#define _GLIBCXX_USE_DEV_RANDOM 1
 
 /* Define if fchmod is available in <sys/stat.h>. */
 #define _GLIBCXX_USE_FCHMOD 1
diff --git a/repos/libports/include/spec/x86_64/stdcxx/bits/c++config.h b/repos/libports/include/spec/x86_64/stdcxx/bits/c++config.h
index 1dc40ee5cb..d7a72c707c 100644
--- a/repos/libports/include/spec/x86_64/stdcxx/bits/c++config.h
+++ b/repos/libports/include/spec/x86_64/stdcxx/bits/c++config.h
@@ -1603,7 +1603,7 @@ namespace std
 
 /* Define if /dev/random and /dev/urandom are available for
    std::random_device. */
-/* #undef _GLIBCXX_USE_DEV_RANDOM */
+#define _GLIBCXX_USE_DEV_RANDOM 1
 
 /* Define if fchmod is available in <sys/stat.h>. */
 #define _GLIBCXX_USE_FCHMOD 1