From 8aeb7c55542db205dafcf1b9de0326b06660275e Mon Sep 17 00:00:00 2001 From: Alyssa Rosenzweig Date: Tue, 4 Apr 2017 09:16:13 -0700 Subject: Finish removing distros.md --- docs/index.md | 2 -- docs/install/c201.md | 14 ++++---------- 2 files changed, 4 insertions(+), 12 deletions(-) (limited to 'docs') 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 . -- cgit v1.2.3-70-g09d2