The officially official Devuan Forum!

arodlinux

Member

Registered: 2017-05-03

Posts: 2  

What is the kernel used?

What is the kernel used by Devuan? It is the same  one as Debian or Linux-libre kernel or another modified version of it?

fsmithred

Administrator

Registered: 2016-11-25

Posts: 2,508  

Re: What is the kernel used?

Same as Debian Jessie, unchanged: 3.16.0-4

apt-cache policy linux-image-amd64
linux-image-amd64:
  Installed: (none)
  Candidate: 3.16+63
  Version table:
     4.9+79 0
         90 http://us.mirror.devuan.org/merged/ ascii/main amd64 Packages
     4.9+79~bpo8+1 0
        100 http://packages.devuan.org/merged/ jessie-backports/main amd64 Packages
     3.16+63 0
        500 http://us.mirror.devuan.org/merged/ jessie/main amd64 Packages

arodlinux

Member

Registered: 2017-05-03

Posts: 2  

Re: What is the kernel used?

Thanks for replying