diff --git a/build.sh b/build.sh
index b7b7ec99..098c5c7f 100755
--- a/build.sh
+++ b/build.sh
@@ -47,11 +47,6 @@ do_basic()
 {
     message "Starting build."
     try ./configure.sh
-    # Genode bindings are disabled by default; enable them for Linux hosts to
-    # ensure they get tested by Solo5 CI.
-    if [ "$(uname -s)" = "Linux" ]; then
-        echo CONFIG_GENODE=1 >>Makeconf
-    fi
     try ${MAKE}
     # Some CIs can now run tests, so do that.
     if [ -n "${SURF_RUN_TESTS}" ]; then