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
