Simon Bruder 73021c1a94 Parameterise cpu config		2020-12-05 16:00:34 +01:00
..
default.nix	Parameterise cpu config	2020-12-05 16:00:34 +01:00
intel.nix	Parameterise cpu config	2020-12-05 16:00:34 +01:00