Daniel Barlow 4229b42d82 make config.hardware.dts.src nullable ... This is for QEMU where we won't have to provide a dtb because the device tree is built by the platform according the (emulated) hardware present. Maybe in future there will be other hardware devices where we don't need to provide a dtb.		2023-12-09 15:51:30 +00:00
..
diskimage.nix	WIP generate bootable disk image with partition table	2023-12-05 23:54:09 +00:00
extlinux.nix	make config.hardware.dts.src nullable	2023-12-09 15:51:30 +00:00
flashimage.nix	convert flash params to int	2023-11-12 20:39:06 +00:00
ubimage.nix	convert hardware loadAddress to int	2023-11-12 18:47:31 +00:00
vmroot.nix	don't double-json the command line	2023-12-05 17:32:18 +00:00