<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Recent changes to How-to-install-Debian-kernel</title><link>https://sourceforge.net/p/flora-linux-libre/wiki/How-to-install-Debian-kernel/</link><description>Recent changes to How-to-install-Debian-kernel</description><atom:link href="https://sourceforge.net/p/flora-linux-libre/wiki/How-to-install-Debian-kernel/feed" rel="self"/><language>en</language><lastBuildDate>Tue, 16 Dec 2025 21:27:10 -0000</lastBuildDate><atom:link href="https://sourceforge.net/p/flora-linux-libre/wiki/How-to-install-Debian-kernel/feed" rel="self" type="application/rss+xml"/><item><title>How-to-install-Debian-kernel modified by usergreen</title><link>https://sourceforge.net/p/flora-linux-libre/wiki/How-to-install-Debian-kernel/</link><description>&lt;div class="markdown_content"&gt;&lt;pre&gt;--- v1
+++ v2
@@ -1,8 +1,9 @@
-How to install Debian kernel:
+(For installed system only)
+How to install Debian kernel

 If you would, you can also install native Debian kernel as below:

 sudo apt install linux-image-amd64

 Then, reboot.
-From advanced menu at boot menu, it is easily to switch from Linux-libre kernel to Debian kernel.
+From advanced options at boot menu, it is easily to switch from Linux-libre kernel to Debian kernel.
&lt;/pre&gt;
&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">usergreen</dc:creator><pubDate>Tue, 16 Dec 2025 21:27:10 -0000</pubDate><guid>https://sourceforge.net2d3f4b9d1e3c09f472230516365f2f9b64955ac0</guid></item><item><title>How-to-install-Debian-kernel modified by usergreen</title><link>https://sourceforge.net/p/flora-linux-libre/wiki/How-to-install-Debian-kernel/</link><description>&lt;div class="markdown_content"&gt;&lt;p&gt;How to install Debian kernel:&lt;/p&gt;
&lt;p&gt;If you would, you can also install native Debian kernel as below:&lt;/p&gt;
&lt;p&gt;sudo apt install linux-image-amd64&lt;/p&gt;
&lt;p&gt;Then, reboot.&lt;br/&gt;
From advanced menu at boot menu, it is easily to switch from Linux-libre kernel to Debian kernel.&lt;/p&gt;&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">usergreen</dc:creator><pubDate>Tue, 16 Dec 2025 10:10:27 -0000</pubDate><guid>https://sourceforge.netcd862edac5bac43dfb262e6c64b38a0a828c1774</guid></item></channel></rss>