4 commits

Author	SHA1	Message	Date
Daniel Barlow	7bc9cb6c55	why is extlink hardcoding root device?	2024-01-07 20:30:23 +00:00
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
Daniel Barlow	5adfb0230f	WIP generate bootable disk image with partition table	2023-12-05 23:54:09 +00:00
Daniel Barlow	bb335050fd	derivation that produces /boot	2023-12-02 15:31:55 +00:00