Max b04d2f7efa hosts/jericho: enable secure boot with lanzaboote		2023-01-13 00:09:50 +01:00
..
extras	hosts/jericho: enable secure boot with lanzaboote	2023-01-13 00:09:50 +01:00
default.nix	import from old repo	2022-02-05 20:47:50 +01:00
hardware-configuration.nix	import from old repo	2022-02-05 20:47:50 +01:00
system.nix	hosts/jericho: enable secure boot with lanzaboote	2023-01-13 00:09:50 +01:00