You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thomas Kerber 3087a8da22
Autolocking config, aarch64 compilation (untested).
1 week ago
external Various updates. 4 months ago
hosts Autolocking config, aarch64 compilation (untested). 1 week ago
id.pub Add frankenkeys. 1 year ago
modules Autolocking config, aarch64 compilation (untested). 1 week ago
.gitignore Move to /cfg. 1 year ago
.gitmodules Ensure that external stuff is managed consistently. 1 year ago
README.md Coq + updates 1 year ago
configuration.nix Fix main config. 5 months ago
default.nix Move to /cfg. 1 year ago

README.md

Zen

My system configurations are zen.