From fe1561b9a3da53c84a04a87f99079d9467a583a2 Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Sat, 29 Apr 2017 14:32:26 +0100 Subject: docs/install/rpi_setup: Say GNU+Linux, not GNU/Linux The plus is less ambiguous, in correctly telling the reader that the OS consists of GNU and Linux, as opposed to GNU/Linux which logically means GNU *or* Linux. libreboot.org standardized on this notation for the name of the OS, some time ago. --- docs/install/rpi_setup.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/install') diff --git a/docs/install/rpi_setup.md b/docs/install/rpi_setup.md index 3230cb63..fd0e5d5e 100644 --- a/docs/install/rpi_setup.md +++ b/docs/install/rpi_setup.md @@ -8,7 +8,7 @@ flash chip with the Raspberry Pi, using the RPi should work. The Libreboot project recommends using -[blobless GNU/Linux](https://blog.rosenzweig.io/blobless-linux-on-the-pi.html) +[blobless GNU+Linux](https://blog.rosenzweig.io/blobless-linux-on-the-pi.html) on the Raspberry Pi, to avoid having to run non-free software. This only became possible in February 2017 and the instructions below are not yet updated with the necessary steps, so please do not follow the -- cgit v1.2.3-70-g09d2