Kernel 4.11 for raspi3 running Devuan?
I suppose this is a trivial question, so I apologize. However I downloaded the latest image from https://ftp.nluug.nl/os/Linux/distr/devuan/devuan_jessie/embedded/ and got the answer from uname: Linux devuan 4.6.3-gb48d47a. How can I, is it possible, change kernel to 4.11? I can't get wifi to run with 4.6.3. Thanks. /Olle
From within the Raspberry Pi, you can compile the kernel natively.
Download the sources you want from https://github.com/raspberrypi/linux and compile. A google search should be helpful in guiding you through the process of kernel compilation.
You can also consult the build script used to build the kernel in arm-sdk: https://git.devuan.org/sdk/arm-sdk/blob/next/boards/raspberry-pi3.sh#L68
Thanks for your answer. I will close the issue. /O