aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/index.md2
-rw-r--r--docs/install/c201.md14
2 files changed, 4 insertions, 12 deletions
diff --git a/docs/index.md b/docs/index.md
index 099b9883..455bb0e2 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -21,8 +21,6 @@ Installing libreboot
Installing operating systems
============================
-- [List of recommended GNU+Linux distributions for
- libreboot](distros/)
- [How to install GNU+Linux on a libreboot system](gnulinux/)
- [How to install BSD on a libreboot system](bsd/)
diff --git a/docs/install/c201.md b/docs/install/c201.md
index b3bfa0ed..cfedee48 100644
--- a/docs/install/c201.md
+++ b/docs/install/c201.md
@@ -35,14 +35,12 @@ root shell.
parameters](#configuring_verified_boot_parameters)
- [Removing the write protect
screw](#removing_write_protect_screw)
-
- [Installing Libreboot to the SPI flash]()
- [Installing Libreboot internally, from the
device](#installing_libreboot_internally)
- [Installing Libreboot externally, with a SPI flash
programmer](#installing_libreboot_externally)
-- [Debian GNU+Linux is recommended for this device](#debian) (TODO:
- instructions for Devuan)
+- [Debian GNU+Linux is recommended for this device](#debian)
Gaining root privileges on ChromeOS
In order to gain root privileges on ChromeOS, developer mode has to be
@@ -203,13 +201,9 @@ You should also see within the output the following:\
The device will now boot to Libreboot.
-Debian GNU+Linux {#debian}
-----------------
-
-You might consider replacing ChromeOS with a free distro. We have a
-[list of recommended distributions](../distros/) but Debian is
-recommended for this device (which is on that list). TODO: Devuan
-instructions.
+Installing Debian
+---------------------
+Debian is recommended for this device (which is on that list.
See <https://wiki.debian.org/InstallingDebianOn/Asus/C201>.