Daniel Barlow 35c7f1643f change defaultOutput for hardware devices to flashimage ... if you're using tftpboot you probably know what you're doing		2023-09-17 17:00:45 +01:00
..
default.nix	change defaultOutput for hardware devices to flashimage	2023-09-17 17:00:45 +01:00