Repository navigation

Install as a kconfiglib package, not loose modules - #55

Merged

jserv merged 5 commits into

mainfrom

Sep 20, 2026

Commits on Sep 20, 2026

Install as a kconfiglib package, not loose modules
jserv
committed
82c7617
Hoist the helpers both interfaces had copies of
jserv
committed
d6a4275
Put the terminal interface globals in one object
jserv
committed
a326dec
Reject properties on nodes that cannot carry them
jserv
committed
ce86838
Run the benchmark and raise the coverage floor
jserv
committed
f0fcf8c