Fault detection and integrity monitoring for kernel isolation structures
add standard tags to 158 packages
Standard vocabulary based on crates.io categories, erratique/opam
conventions, and monorepo domain coverage:
Org: org:blacksun
Domain: aerospace, codec, crypto, network, storage, git, merkle
Purpose: cli, test, bench, format, log, system
Protocol: ccsds, uslp, cop1, sdls, sle, atproto, tls, http, json, binary
Cross-cutting: eio, simulation, math, compression
Tags placed in dune-project (package ...) stanzas via (tags ...).
Propagated to .opam files by dune's opam generation.
+1
+1
dune-project
+1
dune-project
···
11
11
(package
12
12
(name fdir)
13
13
(synopsis "Integrity monitoring for kernel isolation structures")
14
+
(tags (org:blacksun aerospace))
14
15
(description
15
16
"Periodic integrity checker that takes known-good snapshots of kernel
16
17
isolation structures (page tables, seccomp filters, cgroup configs,