aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/bsd/index.html2
-rw-r--r--docs/bsd/openbsd.html3
-rw-r--r--docs/distros/index.html3
-rw-r--r--docs/git/index.html3
-rw-r--r--docs/gnulinux/configuring_parabola.html4
-rw-r--r--docs/gnulinux/encrypted_debian.html8
-rw-r--r--docs/gnulinux/grub_boot_installer.html21
-rw-r--r--docs/gnulinux/index.html2
-rw-r--r--docs/grub/index.html2
-rw-r--r--docs/hardware/t60_security.html2
-rw-r--r--docs/hardware/x60_security.html2
-rw-r--r--docs/hcl/c201.html3
-rw-r--r--docs/hcl/ga-g41m-es2l.html2
-rw-r--r--docs/install/c201.html5
-rw-r--r--docs/misc/index.html10
15 files changed, 42 insertions, 30 deletions
diff --git a/docs/bsd/index.html b/docs/bsd/index.html
index d1cf314f..1be1faa7 100644
--- a/docs/bsd/index.html
+++ b/docs/bsd/index.html
@@ -27,7 +27,9 @@
<a href="../index.html">Back to previous index</a>.
</p>
<ul>
+ <li><a href="netbsd.html">How to install NetBSD on a libreboot system</a></li>
<li><a href="openbsd.html">How to install LibertyBSD or OpenBSD on a libreboot system</a></li>
+ <li><a href="freebsd.html">How to install FreeBSD on a libreboot system</a></li>
</ul>
</div>
diff --git a/docs/bsd/openbsd.html b/docs/bsd/openbsd.html
index 5c720b83..80d776cf 100644
--- a/docs/bsd/openbsd.html
+++ b/docs/bsd/openbsd.html
@@ -136,7 +136,8 @@
Press C in GRUB to access the command line:
</p>
<p>
- grub> <b>kopenbsd (usb0,openbsd1)/6.0/amd64/bsd.rd</b>
+ grub&gt; <b>kopenbsd (usb0,openbsd1)/6.0/amd64/bsd.rd</b><br/>
+ grub&gt; <b>boot</b>
</p>
<p>
It will start booting into the OpenBSD installer. Follow the normal process for installing OpenBSD.
diff --git a/docs/distros/index.html b/docs/distros/index.html
index cc71cd92..d69b5ea5 100644
--- a/docs/distros/index.html
+++ b/docs/distros/index.html
@@ -57,8 +57,7 @@
<em>systemd</em> init system.
</p>
<p>
- <a href="https://www.devuan.org/os/init-freedom/">https://www.devuan.org/os/init-freedom/</a>.
- TODO for Leah: try it. Systemd sometimes make shutting down take 10 minutes. No joke.
+ See: <a href="https://www.devuan.org/os/init-freedom/">https://www.devuan.org/os/init-freedom/</a>.
</p>
<p>
<a href="https://www.devuan.org/">Visit the Devuan website</a>
diff --git a/docs/git/index.html b/docs/git/index.html
index b729cacb..59e2fc9c 100644
--- a/docs/git/index.html
+++ b/docs/git/index.html
@@ -46,6 +46,7 @@
<p>
For Debian Stretch (may also work on Debian Jessie), you can run the following command:<br/>
$ <b>sudo ./build dependencies debian</b>
+ <br/>(this will also work in Devuan)
</p>
<p>
For Parabola, you can run the following command:<br/>
@@ -324,7 +325,7 @@
<p>
<b>This is only confirmed to work (tested) in Debian Stretch. Parabola *fails* at this stage
- (for now). For all other distros, YMMV.</b>
+ (for now). For all other distros, YMMV. This will also work in Devuan.</b>
</p>
<p>
diff --git a/docs/gnulinux/configuring_parabola.html b/docs/gnulinux/configuring_parabola.html
index c8efc841..22c80092 100644
--- a/docs/gnulinux/configuring_parabola.html
+++ b/docs/gnulinux/configuring_parabola.html
@@ -102,7 +102,7 @@
You do not necessarily have to follow this guide word-for-word; <i>parabola</i> is extremely flexible.
The aim here is to provide a common setup that most users will be happy with. While Parabola
can seem daunting at first glance (especially for new GNU/Linux users), with a simple guide it can provide
- all the same usability as Debian, without hiding any details from the user.
+ all the same usability as Debian or Devuan, without hiding any details from the user.
</p>
<p>
@@ -157,7 +157,7 @@
<h2 id="pacman_configure">Configure pacman</h2>
<p>
pacman (<b>pac</b>kage <b>man</b>ager) is the name of the package management system in Arch, which Parabola
- (as a deblobbed parallel effort) also uses. Like with 'apt-get' on Debian,
+ (as a deblobbed parallel effort) also uses. Like with 'apt-get' on Debian or Devuan,
this can be used to add/remove and update the software on your computer.
</p>
<p>
diff --git a/docs/gnulinux/encrypted_debian.html b/docs/gnulinux/encrypted_debian.html
index c76db8dd..1799eedc 100644
--- a/docs/gnulinux/encrypted_debian.html
+++ b/docs/gnulinux/encrypted_debian.html
@@ -8,12 +8,16 @@
@import url('../css/main.css');
</style>
- <title>Installing Debian GNU/Linux with full disk encryption (including /boot)</title>
+ <title>Installing Debian or Devuan GNU/Linux with full disk encryption (including /boot)</title>
</head>
<body>
<div class="section">
- <h1>Installing Debian GNU/Linux with full disk encryption (including /boot)</h1>
+ <h1>Installing Debian or Devuan GNU/Linux with full disk encryption (including /boot)</h1>
+ <p>
+ This guide is written for the Debian distribution, but it should
+ also work for Devuan with the net installer.
+ </p>
<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
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index fe95b8d4..c5e283cb 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -22,7 +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="#debian_netinstall">Debian net install?</a></li>
+ <li><a href="#debian_netinstall">Debian or Devuan 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>
@@ -118,7 +118,7 @@
<h2>Installing GNU/Linux with full disk encryption</h2>
<ul>
- <li><a href="encrypted_debian.html">Installing Debian GNU/Linux with full disk encryption (including /boot)</a></li>
+ <li><a href="encrypted_debian.html">Installing Debian or Devuan 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>
@@ -130,11 +130,11 @@
<div id="debian_netinstall" class="section">
- <h2>Debian net install?</h2>
+ <h2>Debian or Devuan net install?</h2>
<p>
- Download the Debian net installer. You can download the ISO from the homepage on
- <a href="https://www.debian.org/">debian.org</a>.
+ Download the Debian or Devuan net installer. You can download the ISO from the homepage on
+ <a href="https://www.debian.org/">debian.org</a>, or <a href="https://www.devuan.org/">the Devuan homepage</a> for Devuan.
Use this on the GRUB terminal to boot it from USB (for 64-bit Intel or AMD):<br/>
<strong>
set root='usb0'<br/>
@@ -202,12 +202,13 @@
</p>
<p>
- For Debian (and other debian-based distros), there are typically menuentries listed in
+ For Debian or Devuan (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.
+ 64-bit booting on your system. Devuan versions based on Debian 8.x may also have the same
+ issue.
</p>
<p>
@@ -255,10 +256,10 @@
Use one of the ROM images with vesafb in the filename (uses coreboot framebuffer instead of text-mode).
</p>
- <h2>debian-installer graphical corruption in text-mode</h2>
+ <h2>debian-installer graphical corruption in text-mode (Debian and Devuan)</h2>
<p>
When using the ROM images that use coreboot's &quot;text mode&quot; instead of the coreboot framebuffer,
- booting the Debian net installer results in graphical corruption because it is trying to switch to a framebuffer which doesn't
+ booting the Debian or Devuan 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>
@@ -274,7 +275,7 @@
<p>
This workaround was found on the page: <a href="https://www.debian.org/releases/stable/i386/ch05s04.html">https://www.debian.org/releases/stable/i386/ch05s04.html</a>.
- It should also work for gNewSense, Debian and any other apt-get distro that provides debian-installer (text mode) net install method.
+ It should also work for Debian, Devuan and any other apt-get distro that provides debian-installer (text mode) net install method.
</p>
<p>
diff --git a/docs/gnulinux/index.html b/docs/gnulinux/index.html
index 830b7816..ad928a72 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 GNU/Linux-libre with full disk encryption (including /boot)</a></li>
+ <li><a href="encrypted_debian.html">Installing Debian or Devuan GNU/Linux-libre with full disk encryption (including /boot)</a></li>
</ul>
</div>
diff --git a/docs/grub/index.html b/docs/grub/index.html
index a7256475..7eff976a 100644
--- a/docs/grub/index.html
+++ b/docs/grub/index.html
@@ -65,7 +65,7 @@
<p>Specifically, the version that I chose was the latest at the time of writing (Saturday 21 June 2014):
<a href="http://sourceforge.net/projects/dejavu/files/dejavu/2.34/dejavu-fonts-ttf-2.34.tar.bz2">this one</a></p>
- <p>This is a free font that is also contained in GNU/Linux distributions like Debian or Parabola.</p>
+ <p>This is a free font that is also contained in GNU/Linux distributions like Debian, Devuan or Parabola.</p>
<p><b>$ cd libreboot_src/grub</b><br/>
compile grub (the build scripts info on how to do this)<br/>
diff --git a/docs/hardware/t60_security.html b/docs/hardware/t60_security.html
index 1d8ad371..5b1574bd 100644
--- a/docs/hardware/t60_security.html
+++ b/docs/hardware/t60_security.html
@@ -387,7 +387,7 @@
Further reading material (software security)
</h1>
<ul>
- <li><a href="../gnulinux/encrypted_debian.html">Installing Debian GNU/Linux with full disk encryption (including /boot)</a></li>
+ <li><a href="../gnulinux/encrypted_debian.html">Installing Debian or Devuan GNU/Linux with full disk encryption (including /boot)</a></li>
<li><a href="../gnulinux/encrypted_parabola.html">Installing Parabola GNU/Linux with full disk encryption (including /boot)</a></li>
<li><a href="dock.html">Notes about DMA access and the docking station</a></li>
</ul>
diff --git a/docs/hardware/x60_security.html b/docs/hardware/x60_security.html
index 0ab1cd5e..fd816526 100644
--- a/docs/hardware/x60_security.html
+++ b/docs/hardware/x60_security.html
@@ -247,7 +247,7 @@
Further reading material (software security)
</h1>
<ul>
- <li><a href="../gnulinux/encrypted_debian.html">Installing Debian GNU/Linux with full disk encryption (including /boot)</a></li>
+ <li><a href="../gnulinux/encrypted_debian.html">Installing Debian or Devuan GNU/Linux with full disk encryption (including /boot)</a></li>
<li><a href="../gnulinux/encrypted_parabola.html">Installing Parabola GNU/Linux with full disk encryption (including /boot)</a></li>
<li><a href="dock.html">Notes about DMA access and the docking station</a></li>
</ul>
diff --git a/docs/hcl/c201.html b/docs/hcl/c201.html
index 89ffd404..0358af5f 100644
--- a/docs/hcl/c201.html
+++ b/docs/hcl/c201.html
@@ -98,6 +98,9 @@
shows how to install Debian.
</p>
<p>
+ TODO: instructions for Devuan
+ </p>
+ <p>
<a href="#pagetop">Back to top of page</a>.
</p>
</div>
diff --git a/docs/hcl/ga-g41m-es2l.html b/docs/hcl/ga-g41m-es2l.html
index 03ec459c..3b887035 100644
--- a/docs/hcl/ga-g41m-es2l.html
+++ b/docs/hcl/ga-g41m-es2l.html
@@ -29,7 +29,7 @@
<strong>NOTE: This board is unsupported in libreboot 20150518. To use it in libreboot, for now, you must build for it from source using the libreboot git repository.</strong>
</p>
<p>
- You need to set a custom MAC address in GNU/Linux for the NIC to work. In /etc/network/interfaces on debian-based systems like Debian,
+ You need to set a custom MAC address in GNU/Linux for the NIC to work. In /etc/network/interfaces on debian-based systems like Debian or Devuan,
this would be in the entry for your NIC:<br/>
hwaddress ether macaddressgoeshere
</p>
diff --git a/docs/install/c201.html b/docs/install/c201.html
index 2b907718..6c492cb3 100644
--- a/docs/install/c201.html
+++ b/docs/install/c201.html
@@ -67,7 +67,7 @@
</ul>
</li>
<li>
- <a href="#debian">Debian GNU/Linux is recommended for this device</a>
+ <a href="#debian">Debian GNU/Linux is recommended for this device</a> (TODO: instructions for Devuan)
</i>
</ul>
@@ -274,7 +274,8 @@
<p>
You might consider replacing ChromeOS with a free distro.
We have a <a href="../distros/">list of recommended distributions</a>
- but Debian is recommended for this device.
+ but Debian is recommended for this device (which is on that list).
+ TODO: Devuan instructions.
</p>
<p>
See <a href="https://wiki.debian.org/InstallingDebianOn/Asus/C201">https://wiki.debian.org/InstallingDebianOn/Asus/C201</a>.
diff --git a/docs/misc/index.html b/docs/misc/index.html
index 97b32576..ac0aa350 100644
--- a/docs/misc/index.html
+++ b/docs/misc/index.html
@@ -19,7 +19,7 @@
Or <a href="../index.html">Back to main index</a>.
</p>
<ul>
- <li><a href="#debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian)</a></li>
+ <li><a href="#debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian or Devuan)</a></li>
<li><a href="#high_pitch_parabola">High Pitched Whining Noise on Idle (how to remove in Parabola)</a></li>
<li><a href="#serial">X60/T60: Serial port - how to use (for dock owners)</a></li>
<li><a href="#powerbeeps">Power Management Beeps on Thinkpads</a></li>
@@ -32,7 +32,7 @@
<div class="section">
- <h1 id="debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian)</h1>
+ <h1 id="debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian or Devuan)</h1>
<div class="subsection">
<h2 id="debian_powertop_autostart">Start powertop automatically at boot time</h2>
@@ -140,9 +140,9 @@ WantedBy=multi-user.target
You can also configure your distro so that a terminal (TTY) is accessible from the serial console.
</p>
<p>
- The following guide is for Ubuntu, but it should work in Debian, to enable a serial console using GeTTY:<br/>
+ The following guide is for Ubuntu, but it should work in Debian and Devuan, to enable a serial console using GeTTY:<br/>
<a href="https://help.ubuntu.com/community/SerialConsoleHowto">https://help.ubuntu.com/community/SerialConsoleHowto</a>
- (we DO NOT recommend Ubuntu, because it contains non-free software in the default repos. Use Debian)
+ (we DO NOT recommend Ubuntu, because it contains non-free software in the default repos. Use Debian or Devuan)
</p>
<p>
Note: part of the tutorial above requires changing your grub.cfg. Just change the <b>linux</b> line to add instructions for enabling getty.
@@ -250,7 +250,7 @@ WantedBy=multi-user.target
Or look in <b>/sys/class/drm/card0-LVDS-1/edid</b>
</p>
<p>
- Alternatively you can use i2cdump. In Debian, this is in the package i2c-tools.<br/>
+ Alternatively you can use i2cdump. In Debian and Devuan, this is in the package i2c-tools.<br/>
$ <b>sudo modprobe i2c-dev</b><br/>
$ <b>sudo i2cdump -y 5 0x50</b> (you might have to change the value for -y)<br/>
$ <b>sudo rmmod i2c-dev</b><br/>