On Sun, 8 Jul 2018 at 17:35:01 -0700
Jimmy Johnson <field.engineer@???> wrote:

> 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?

I think Devuan devs have more important things to do that looking for a pin
in a haystack.


Alessandro