docs: mention Devuan equally, alongside Debian

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/>