12 Commits

Author	SHA1	Message	Date
Daniel Barlow	c81e7c4d35	move all output modules to subdirectory, trash standard.nix ... standard.nix isn't, is the essence here. Not all devices support flashimage as it is currently defined - some have diskimage, some have neither	2023-12-10 15:23:12 +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	3f74fad966	don't double-json the command line	2023-12-05 17:32:18 +00:00
Daniel Barlow	98d3336926	rewrite run-liminix-vm as a fennel program ... the effect of shell quoting/word splitting rules was reaching completely unreasonable, insofar as I was unable to reason about it	2023-12-03 22:51:39 +00:00
Daniel Barlow	bb335050fd	derivation that produces /boot	2023-12-02 15:31:55 +00:00
Daniel Barlow	f9f4d97bb8	convert flash params to int	2023-11-12 20:39:06 +00:00
Daniel Barlow	315907de98	convert hardware loadAddress to int	2023-11-12 18:47:31 +00:00
Daniel Barlow	185117843b	convert tftp.loadAddress from string to int	2023-11-12 18:37:33 +00:00
Daniel Barlow	f61e737b54	improve doc for outputs and hardware ... Changed my mind about "installer" as a first-class concept, at least in the current implementation. Not every documented output is an installer	2023-11-12 17:15:58 +00:00
Daniel Barlow	7cfb92e3ce	more doc	2023-11-10 21:17:20 +00:00
Daniel Barlow	23b3a2baef	extract vmroot output into its own file	2023-11-08 23:19:11 +00:00