On 07/07/2018 05:03 AM, Alessandro Selli wrote:
> On Fri, 6 Jul 2018 at 10:52:20 -0700
> Jimmy Johnson <field.engineer@???> wrote:
>
>> Good sources tell me we need our own kernel,
>

>    Why?  What's wrong with the available ones?

Devuan is there someone that can at lest look at the Debian kernel?

Thanks,
--
Jimmy Johnson

Devuan Jessie - KDE 4.14.2 - AMD A8-7600 - EXT4 at sda2
Registered Linux User #380263