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