On Tue, Apr 21, 2020 at 08:27:41AM +0300, Efraim Flashner wrote:
>
> I believe you may have quoted the wrong part of the message. They're
> still using a custom kernel so I'd push a bit harder trying out a debian
> kernel to see if that fixes their issue.
As I wrote in my response to Vagrant I'd love to - but I have no idea how. :-)
Kind regards
Andreas.
--
http://fam-tille.de