4 commits

Author	SHA1	Message	Date
Daniel Barlow	8cead61740	convert devices from overlay to module ... this makes it possible for devices to stash things in `config` (e.g. pathname to DTS) that can later be overwritten (even by the end user)	2023-02-10 17:54:33 +00:00
Daniel Barlow	76243d306c	remove checkedConfig, check all the config	2022-10-19 22:09:38 +01:00
Daniel Barlow	9c5b5a54e2	remove unneeded Kconfig.local handling	2022-10-19 18:23:20 +01:00
Daniel Barlow	f1b7780537	speed up kernel build ... by having two separate derivations for patching the kernel source tree and building it, we have to copy said source trees from one store location to another which takes non-neglible time on spinning rust (literally minutes on my machine). Replace with a single derivation that can do more things on one tree in-place	2022-10-19 17:34:22 +01:00