gazagnaire.org
Fault detection and integrity monitoring for kernel isolation structures
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Integrity monitoring for kernel isolation structures"
4description: """
5Periodic integrity checker that takes known-good snapshots of kernel
6 isolation structures (page tables, seccomp filters, cgroup configs,
7 memory mappings) at boot and detects radiation-induced corruption
8 by comparing against them on a timer."""
9maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
10authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
11license: "ISC"
12tags: ["org:blacksun" "aerospace"]
13homepage: "https://tangled.org/gazagnaire.org/ocaml-fdir"
14bug-reports: "https://tangled.org/gazagnaire.org/ocaml-fdir/issues"
15depends: [
16 "ocaml" {>= "5.1"}
17 "dune" {>= "3.21" & >= "3.0"}
18 "eio" {>= "1.0"}
19 "digestif" {>= "1.0"}
20 "fmt" {>= "0.9"}
21 "logs" {>= "0.7"}
22 "alcotest" {with-test}
23 "eio_main" {with-test}
24 "mdx" {with-test}
25 "odoc" {with-doc}
26]
27build: [
28 ["dune" "subst"] {dev}
29 [
30 "dune"
31 "build"
32 "-p"
33 name
34 "-j"
35 jobs
36 "@install"
37 "@runtest" {with-test}
38 "@doc" {with-doc}
39 ]
40]
41dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-fdir"
42x-maintenance-intent: ["(latest)"]
43x-quality-build: "2026-04-15"
44x-quality-test: "2026-04-15"