Re: I'm guessing that Devuan might [not] be able to use the Debian kernel?
ok thanks - I had never compiled a non-embedded Linux kernel, nor one above version 2.6 . It has been a while. Dynamic kernel modules have eliminated the need, for the most part (I have compiled quite a number of those, however, separate from the kernel compiling). And as I'm not busy trying to fit a Linux kernel into a 2M flash [actually did that] there has not been any need.
(so yeah, good to know)