Daniel Barlow 817c3793d4 move dts config from kernel to boot ...

The kernel does not need to know about the DTS. I am prepared
to be very slightly injured on this hill.

2023-02-18 15:13:19 +00:00

..

default.nix

move dts config from kernel to boot

2023-02-18 15:13:19 +00:00