diff --git a/.github/workflows/options.yml b/.github/workflows/options.yml
index 94c49e4bf6..7ef8b6929e 100644
--- a/.github/workflows/options.yml
+++ b/.github/workflows/options.yml
@@ -26,10 +26,10 @@ jobs:
         run: npm install -g ajv-cli
 
       - name: Migrate schema # https://github.com/ajv-validator/ajv-cli/issues/199
-        run: ajv migrate -s src/common/util/options.schema.json
+        run: ajv migrate -s src/config/options.schema.json
 
       - name: Validate conf
-        run: ajv validate -s src/common/util/options.schema.json -d "conf/**/*.json"
+        run: ajv validate -s src/config/options.schema.json -d "conf/**/*.json"
 
       - name: Validate incremental tests
-        run: ajv validate -s src/common/util/options.schema.json -d "tests/incremental/*/*.json"
+        run: ajv validate -s src/config/options.schema.json -d "tests/incremental/*/*.json"
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 08044d195c..22f9c86121 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -20,4 +20,4 @@ build:
       - pip install json-schema-for-humans
     post_build:
       - mkdir _readthedocs/html/jsfh/
-      - generate-schema-doc --config-file jsfh.yml src/common/util/options.schema.json _readthedocs/html/jsfh/
+      - generate-schema-doc --config-file jsfh.yml src/config/options.schema.json _readthedocs/html/jsfh/
diff --git a/docs/user-guide/configuring.md b/docs/user-guide/configuring.md
index 9a32a14a4c..cae57fc8cd 100644
--- a/docs/user-guide/configuring.md
+++ b/docs/user-guide/configuring.md
@@ -24,7 +24,7 @@ In `.vscode/settings.json` add the following:
                 "/conf/*.json",
                 "/tests/incremental/*/*.json"
             ],
-            "url": "/src/common/util/options.schema.json"
+            "url": "/src/config/options.schema.json"
         }
     ]
 }
diff --git a/src/common/common.mld b/src/common/common.mld
index 3106933602..a1cc9a261a 100644
--- a/src/common/common.mld
+++ b/src/common/common.mld
@@ -18,14 +18,6 @@ AnalysisState
 ControlSpecC
 }
 
-{2 Configuration}
-{!modules:
-GobConfig
-AfterConfig
-JsonSchema
-Options
-}
-
 
 {1 Domains}
 {!modules:
diff --git a/src/common/dune b/src/common/dune
index dc9fd61f77..7994798579 100644
--- a/src/common/dune
+++ b/src/common/dune
@@ -8,23 +8,18 @@
    batteries.unthreaded
    zarith
    goblint_std
+   goblint_config
    goblint_tracing
    goblint-cil
    fpath
    yojson
-   json-data-encoding
-   cpu
    goblint_timing
-   goblint_build_info
-   goblint.sites
    qcheck-core.runner)
  (flags :standard -open Goblint_std)
  (preprocess
   (pps
     ppx_deriving.std
     ppx_deriving_hash
-    ppx_deriving_yojson
-    ppx_blob))
- (preprocessor_deps (file util/options.schema.json)))
+    ppx_deriving_yojson)))
 
 (documentation)
diff --git a/src/common/util/afterConfig.ml b/src/config/afterConfig.ml
similarity index 100%
rename from src/common/util/afterConfig.ml
rename to src/config/afterConfig.ml
diff --git a/src/config/config.mld b/src/config/config.mld
new file mode 100644
index 0000000000..160eaa9a11
--- /dev/null
+++ b/src/config/config.mld
@@ -0,0 +1,14 @@
+{0 Library goblint.config}
+This library is unwrapped and provides the following top-level modules.
+For better context, see {!Goblint_lib} which also documents these modules.
+
+
+{1 Framework}
+
+{2 Configuration}
+{!modules:
+GobConfig
+AfterConfig
+JsonSchema
+Options
+}
diff --git a/src/config/dune b/src/config/dune
new file mode 100644
index 0000000000..b4dfea5c18
--- /dev/null
+++ b/src/config/dune
@@ -0,0 +1,23 @@
+(include_subdirs unqualified)
+
+(library
+ (name goblint_config)
+ (public_name goblint.config)
+ (wrapped false) ; TODO: wrap
+ (libraries
+   batteries.unthreaded
+   goblint_std
+   goblint_tracing
+   fpath
+   yojson
+   json-data-encoding
+   cpu
+   goblint.sites
+   qcheck-core.runner)
+ (flags :standard -open Goblint_std)
+ (preprocess
+  (pps
+    ppx_blob))
+ (preprocessor_deps (file options.schema.json)))
+
+(documentation)
diff --git a/src/common/util/gobConfig.ml b/src/config/gobConfig.ml
similarity index 100%
rename from src/common/util/gobConfig.ml
rename to src/config/gobConfig.ml
diff --git a/src/common/util/jsonSchema.ml b/src/config/jsonSchema.ml
similarity index 100%
rename from src/common/util/jsonSchema.ml
rename to src/config/jsonSchema.ml
diff --git a/src/common/util/options.ml b/src/config/options.ml
similarity index 98%
rename from src/common/util/options.ml
rename to src/config/options.ml
index 3046f70809..125da3330b 100644
--- a/src/common/util/options.ml
+++ b/src/config/options.ml
@@ -1,4 +1,4 @@
-(** [src/common/util/options.schema.json] low-level access. *)
+(** [src/config/options.schema.json] low-level access. *)
 
 open Json_schema
 
diff --git a/src/common/util/options.schema.json b/src/config/options.schema.json
similarity index 100%
rename from src/common/util/options.schema.json
rename to src/config/options.schema.json
diff --git a/src/dune b/src/dune
index ffc387447e..6738398e59 100644
--- a/src/dune
+++ b/src/dune
@@ -7,7 +7,7 @@
   (name goblint_lib)
   (public_name goblint.lib)
   (modules :standard \ goblint privPrecCompare apronPrecCompare messagesCompare)
-  (libraries goblint.sites goblint.build-info goblint-cil.all-features batteries.unthreaded qcheck-core.runner sha json-data-encoding jsonrpc cpu arg-complete fpath yaml yaml.unix uuidm goblint_timing catapult goblint_backtrace fileutils goblint_std goblint_common goblint_domain goblint_tracing
+  (libraries goblint.sites goblint.build-info goblint-cil.all-features batteries.unthreaded qcheck-core.runner sha json-data-encoding jsonrpc cpu arg-complete fpath yaml yaml.unix uuidm goblint_timing catapult goblint_backtrace fileutils goblint_std goblint_config goblint_common goblint_domain goblint_tracing
     ; Conditionally compile based on whether apron optional dependency is installed or not.
     ; Alternative dependencies seem like the only way to optionally depend on optional dependencies.
     ; See: https://dune.readthedocs.io/en/stable/concepts.html#alternative-dependencies.
diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
index 3c7dcf41a5..fee35c1ec9 100644
--- a/src/goblint_lib.ml
+++ b/src/goblint_lib.ml
@@ -51,7 +51,7 @@ module VarQuery = VarQuery
 (** {2 Configuration}
 
     Runtime configuration is represented as JSON.
-    Options are specified and documented by the JSON schema [src/common/util/options.schema.json]. *)
+    Options are specified and documented by the JSON schema [src/config/options.schema.json]. *)
 
 module GobConfig = GobConfig
 module AfterConfig = AfterConfig
diff --git a/src/index.mld b/src/index.mld
index bad756a8f1..eb7907f6fe 100644
--- a/src/index.mld
+++ b/src/index.mld
@@ -7,6 +7,9 @@ The following libraries make up Goblint's main codebase.
 {!modules:Goblint_lib}
 This library currently contains the majority of Goblint and is in the process of being split into smaller libraries.
 
+{2 Library goblint.config}
+This {{!page-config}unwrapped library} contains various configuration modules extracted from {!Goblint_lib}.
+
 {2 Library goblint.common}
 This {{!page-common}unwrapped library} contains various common modules extracted from {!Goblint_lib}.