Replacing the kernel is very easy. The problem is in debian-installer.
We need to add all the modules in it, and it is a titanic work
(exaggerating :-).
But it is possible.
Mmmmh..., there must be a consensus about this issue in VUA's for
official images.
Aitor.
On 26/08/15 17:55, Haines B
On Wed, Aug 26, 2015 at 5:48 PM, Haines Brown wrote:
> So I'd like to use a different kernel, but there are no alternatives in
> the devuan repository. How then should I install an alternative kernel?
You can compile one yourself:
→ Install the build tools ("build-essential" + "libncurses5-dev")
I've already tried your patience with a query about why xrandr tells me
my display uses VGA 1024x768 when it shows my video card supports DVI
1920x1080. I hope you will bear with me if I pursue the matter.
I am told that because selection of optimal resolution is today done by
the kernel, my 3.16.
