On Thu, Mar 07, 2019 at 10:00:23AM +0100, Michael Biebl wrote: > Since alpha is not an officially supported architecture, I was not aware > that there is no Debian provided kernel for it. > > My main point was to test a kernel which has the same set of features / > config options enabled as the Debian one, to rule out obvious problems > like mission kernel features.
An entirely reasonable request/approach to solving the problem, and one I'm willing to try :-). I've been bitten by differences in kernel configuration options on previous occasions. It may be a few days, but I'm confident I'll have a Debian-provided kernel within a reasonable time frame.