aboutsummaryrefslogtreecommitdiff
path: root/docs/gnulinux
diff options
context:
space:
mode:
Diffstat (limited to 'docs/gnulinux')
-rw-r--r--docs/gnulinux/encrypted_debian.html57
-rw-r--r--docs/gnulinux/grub_boot_installer.html36
-rw-r--r--docs/gnulinux/index.html2
3 files changed, 58 insertions, 37 deletions
diff --git a/docs/gnulinux/encrypted_debian.html b/docs/gnulinux/encrypted_debian.html
index 64f4668d..66c47fee 100644
--- a/docs/gnulinux/encrypted_debian.html
+++ b/docs/gnulinux/encrypted_debian.html
@@ -8,18 +8,12 @@
@import url('../css/main.css');
</style>
- <title>Installing Debian or Trisquel GNU/Linux with full disk encryption (including /boot)</title>
+ <title>Installing Debian GNU/Linux with full disk encryption (including /boot)</title>
</head>
<body>
<div class="section">
- <h1>Installing Debian or Trisquel GNU/Linux with full disk encryption (including /boot)</h1>
- <p>
- The libreboot project recommends Debian, because it is more stable and up to date,
- while still being entirely free software by default. Leah Rowe, libreboot's
- lead maintainer, also uses Debian. See:
- <a href="../distros/">../distros/</a>
- </p>
+ <h1>Installing Debian GNU/Linux with full disk encryption (including /boot)</h1>
<p>
Libreboot on x86 uses the GRUB <a href="http://www.coreboot.org/Payloads#GRUB_2">payload</a>
by default, which means that the GRUB configuration file
@@ -37,10 +31,27 @@
access to the system.
</p>
<p>
- This guide is written for Debian.
- This also works in Trisquel 7 (probably Trisquel 8), and probably Trisquel 6. Boot the 'net installer' (Install Trisquel in Text Mode).
- <a href="grub_boot_installer.html">How to boot a GNU/Linux installer</a>.
+ This guide is written for Debian net installer. You can download the ISO from the homepage on
+ <a href="https://www.debian.org/">debian.org</a>.
+ Use this on the GRUB terminal to boot it from USB (for 64-bit Intel or AMD):<br/>
+ <strong>
+ set root='usb0'<br/>
+ linux /install.amd/vmlinuz<br/>
+ initrd /install.amd/initrd.gz<br/>
+ boot<br/>
+ </strong>
+ If you are on a 32-bit system (e.g. X60):<br/>
+ <strong>
+ set root='usb0'<br/>
+ linux /install.386/vmlinuz<br/>
+ initrd /install.386/initrd.gz<br/>
+ boot
+ </strong>
</p>
+ <p>
+ <a href="grub_boot_installer.html">This guide</a> shows how to
+ create a boot USB drive with the Debian ISO image.
+ </p>
<p>
<b>This guide is *only* for the GRUB payload. If you use the depthcharge payload, ignore this section entirely.</b>
</p>
@@ -188,22 +199,12 @@
<div class="section">
- <h1>Tasksel (Debian or Trisquel)</h1>
+ <h1>Tasksel</h1>
- <p>
- Choose <i>&quot;Trisquel Desktop Environment&quot;</i> if you want GNOME,
- <i>&quot;Trisquel-mini Desktop Environment&quot;</i> if you
- want LXDE or <i>&quot;Triskel Desktop Environment&quot;</i> if you want KDE.
- If you want to have no desktop (just a basic shell)
- when you boot or if you want to create your own custom setup, then choose nothing here (don't select anything).
- You might also want to choose some of the other package groups; it's up to you.
- </p>
<p>
For Debian, use the <em>MATE</em> option, or one of the others if you want.
- </p>
- <p>
- On Debian or Trisquel, you may also want to select the option for a printer server,
- so that you can print.
+ The libreboot project recommends MATE, unless you're saavy enough to choose something
+ else.
</p>
<p>
If you want debian-testing, then you should only select barebones options here
@@ -212,6 +213,14 @@
as root, then reboot and run <b>tasksel</b> as root. This is to avoid downloading large
packages twice.
</p>
+ <p>
+ NOTE: If you want the latest up to date version of the Linux kernel,
+ Debian's kernel is sometimes outdated, even in the testing distro.
+ You might consider using <a href="https://jxself.org/linux-libre/">this repository</a>
+ instead, which contains the most up to date versions of the Linux kernel.
+ These kernels are also deblobbed, like Debian's kernels, so you can
+ be sure that no binary blobs are present.
+ </p>
</div>
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index acede631..4c26432e 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -22,8 +22,7 @@
<li><a href="../distros">List of recommended GNU/Linux distributions</a></li>
<li><a href="#prepare">Prepare the USB drive (in GNU/Linux)</a></li>
<li><a href="#encryption">Installing GNU/Linux with full disk encryption</a></li>
- <li><a href="#guix">GNU Guix System Distribution?</a></li>
- <li><a href="#debian_netinstall">Debian or Trisquel net install?</a></li>
+ <li><a href="#debian_netinstall">Debian net install?</a></li>
<li><a href="#parse_isolinux">Booting ISOLINUX images (automatic method)</a></li>
<li><a href="#manual_isolinux">Booting ISOLINUX images (manual method)</a></li>
<li><a href="#troubleshooting">Troubleshooting</a></li>
@@ -80,7 +79,7 @@
<h2>Installing GNU/Linux with full disk encryption</h2>
<ul>
- <li><a href="encrypted_debian.html">Installing Debian or Trisquel GNU/Linux with full disk encryption (including /boot)</a></li>
+ <li><a href="encrypted_debian.html">Installing Debian GNU/Linux with full disk encryption (including /boot)</a></li>
<li><a href="encrypted_parabola.html">Installing Parabola GNU/Linux with full disk encryption (including /boot)</a></li>
</ul>
@@ -92,14 +91,25 @@
<div id="debian_netinstall" class="section">
- <h2>Debian or Trisquel net install?</h2>
+ <h2>Debian net install?</h2>
<p>
- Tip: don't use the official net install image. Download the full GNOME ISO (the ~1.5GiB one).
- In this ISO, there is still the capability to boot the net install, while it also provides
- an easy to use live system (which you can boot from USB). This ISO also works using
- <i>syslinux_configfile -i</i> (the <i>Parse ISOLINUX</i> menu entries in the default
- GRUB configuration that libreboot uses).
+ Download the Debian net installer. You can download the ISO from the homepage on
+ <a href="https://www.debian.org/">debian.org</a>.
+ Use this on the GRUB terminal to boot it from USB (for 64-bit Intel or AMD):<br/>
+ <strong>
+ set root='usb0'<br/>
+ linux /install.amd/vmlinuz<br/>
+ initrd /install.amd/initrd.gz<br/>
+ boot<br/>
+ </strong>
+ If you are on a 32-bit system (e.g. X60):<br/>
+ <strong>
+ set root='usb0'<br/>
+ linux /install.386/vmlinuz<br/>
+ initrd /install.386/initrd.gz<br/>
+ boot
+ </strong>
</p>
<p>
@@ -153,10 +163,12 @@
</p>
<p>
- For Trisquel (and other debian-based distros), there are typically menuentries listed in
+ For Debian (and other debian-based distros), there are typically menuentries listed in
<i>/isolinux/txt.cfg</i> or <i>/isolinux/gtk.cfg</i>. For dual-architecture ISO images
(i686 and x86_64), there may be separate files/directories for each architecture.
Just keep searching through the image, until you find the correct ISOLINUX configuration file.
+ NOTE: Debian 8.6 ISO only lists 32-bit boot options in txt.cfg. This is important if you want
+ 64-bit booting on your system.
</p>
<p>
@@ -207,13 +219,13 @@
<h2>debian-installer graphical corruption in text-mode</h2>
<p>
When using the ROM images that use coreboot's &quot;text mode&quot; instead of the coreboot framebuffer,
- booting the Trisquel net installer results in graphical corruption because it is trying to switch to a framebuffer which doesn't
+ booting the Debian net installer results in graphical corruption because it is trying to switch to a framebuffer which doesn't
exist. Use that kernel parameter on the 'linux' line when booting it:<br/>
<b>vga=normal fb=false</b>
</p>
<p>
- Tested in Trisquel 6 (and 7). This forces debian-installer to start in text-mode, instead of trying to switch to a framebuffer.
+ This forces debian-installer to start in text-mode, instead of trying to switch to a framebuffer.
</p>
<p>
diff --git a/docs/gnulinux/index.html b/docs/gnulinux/index.html
index eb1493d7..830b7816 100644
--- a/docs/gnulinux/index.html
+++ b/docs/gnulinux/index.html
@@ -35,7 +35,7 @@
<li>Follow-up tutorial: <a href="configuring_parabola.html">Configuring Parabola (post-install)</a></li>
</ul>
</li>
- <li><a href="encrypted_debian.html">Installing Debian or Trisquel GNU/Linux-libre with full disk encryption (including /boot)</a></li>
+ <li><a href="encrypted_debian.html">Installing Debian GNU/Linux-libre with full disk encryption (including /boot)</a></li>
</ul>
</div>