3 commits

Author	SHA1	Message	Date
Daniel Barlow	e0ea576674	rename "device" config tree as "hardware" ... we are also using "device" for "network device" (as in eth0, wlan0 etc) so this makes it a bit less confusing perhaps	2023-03-03 22:52:33 +00:00
Daniel Barlow	263882cbe4	move dts config option from boot to device	2023-03-03 22:43:44 +00:00
Daniel Barlow	bbd699d7b1	add module for device-specific config ... in principle this module declares the config that's defined in devices/foo/default.nix	2023-03-03 20:04:39 +00:00