Dev1 Galaxy Forum / What is the kernel used?

Re: What is the kernel used?

dummy@example.com (arodlinux) — Wed, 03 May 2017 23:58:33 +0000

Thanks for replying

Re: What is the kernel used?

dummy@example.com (fsmithred) — Wed, 03 May 2017 23:51:36 +0000

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

What is the kernel used?

dummy@example.com (arodlinux) — Wed, 03 May 2017 23:32:27 +0000

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