<![CDATA[Dev1 Galaxy Forum / Question of where Devuan gets its kernels]]> https://dev1galaxy.org/viewtopic.php?id=5695 Wed, 03 May 2023 02:02:55 +0000 FluxBB <![CDATA[Re: Question of where Devuan gets its kernels]]> https://dev1galaxy.org/viewtopic.php?pid=42127#p42127 The linux-image packages are not forked; they are directly from debian. These are the newest ones available for amd64: https://pkginfo.devuan.org/cgi-bin/poli … .*%3Aamd64

]]> Wed, 03 May 2023 02:02:55 +0000 https://dev1galaxy.org/viewtopic.php?pid=42127#p42127 <![CDATA[Question of where Devuan gets its kernels]]> https://dev1galaxy.org/viewtopic.php?pid=42126#p42126 Does Devuan use custom-made kernels or use standard kernels from Debian repositories?

Last thing I read was "Documentation» HOWTO: upgrade Devuan (stable) to the latest Linux kernel" from 2017-04-23 03:27:48

But I see newer kernels (I assume with bug fixes) - https://packages.debian.org/search?keywords=kernel

Anyone have any ideas?

Thanks in advance,
James
Indiana

]]> Wed, 03 May 2023 01:35:08 +0000 https://dev1galaxy.org/viewtopic.php?pid=42126#p42126