summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-10-15 04:23:53 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-10-15 04:23:53 (EDT)
commit236803ea989b1ef63831792f9bc2bcd3112ff080 (patch)
tree19935a18d72dd1b57e7bf3babc6adda41dc3d6a4 /site
parent4082b2fd23e9c8d3b362b6d1d354f3c8f8b96e9a (diff)
downloadlibreboot.org-236803ea989b1ef63831792f9bc2bcd3112ff080.zip
libreboot.org-236803ea989b1ef63831792f9bc2bcd3112ff080.tar.gz
libreboot.org-236803ea989b1ef63831792f9bc2bcd3112ff080.tar.bz2
all free software is open source software (reverse not always true)
Diffstat (limited to 'site')
-rw-r--r--site/index.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/site/index.php b/site/index.php
index 6970af6..845385d 100644
--- a/site/index.php
+++ b/site/index.php
@@ -39,7 +39,7 @@
<h1><?php echo gettext("Libreboot project"); ?></h1>
<p>
Libreboot is <a href="https://www.fsf.org/about/what-is-free-software">free</a> (libre) boot firmware based on <a href="http://coreboot.org/">coreboot</a>,
- intended to replace the proprietary <a href="https://en.wikipedia.org/wiki/BIOS">BIOS</a>/<a href="https://en.wikipedia.org/wiki/Unified_Extensible_Firmware_Interface">UEFI</a> firmware.
+ intended to replace the proprietary <a href="https://en.wikipedia.org/wiki/BIOS">BIOS</a> or <a href="https://en.wikipedia.org/wiki/Unified_Extensible_Firmware_Interface">UEFI</a> firmware.
Boot firmware is the low-level software that runs when you turn your computer on, which initializes the
hardware and starts a bootloader for your operating system. <a href="docs/index.html#why">Learn more</a>
</p>
@@ -51,6 +51,7 @@
</p>
<p>
Libreboot is <i>free software</i>; we do not use the term <i>open source</i>, because that term ignores the ethical ideals of the free software movement, focusing only on practicality and efficiency. Read <a href="https://www.gnu.org/philosophy/open-source-misses-the-point.html">this article</a> for more information.
+ However, libreboot also qualifies as an open source BIOS or UEFI replacement.
</p>
<ul>
<li><a href="download/"><?php echo gettext("Download libreboot"); ?></a></li>