aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/bsd/index.html2
-rw-r--r--docs/bsd/openbsd.html15
2 files changed, 13 insertions, 4 deletions
diff --git a/docs/bsd/index.html b/docs/bsd/index.html
index 93929274..eb71c539 100644
--- a/docs/bsd/index.html
+++ b/docs/bsd/index.html
@@ -27,7 +27,7 @@
<a href="../index.html">Back to previous index</a>.
</p>
<ul>
- <li><a href="openbsd.html">How to install OpenBSD on a libreboot system</a></li>
+ <li><a href="openbsd.html">How to install LibertyBSD or OpenBSD on a libreboot system</a></li>
</ul>
</div>
diff --git a/docs/bsd/openbsd.html b/docs/bsd/openbsd.html
index 7bbd79a6..60352c0b 100644
--- a/docs/bsd/openbsd.html
+++ b/docs/bsd/openbsd.html
@@ -8,13 +8,22 @@
@import url('../css/main.css');
</style>
- <title>How to install OpenBSD on a libreboot system</title>
+ <title>How to install LibertyBSD or OpenBSD on a libreboot system</title>
</head>
<body>
<div id="pagetop" class="section">
- <h1>How to install OpenBSD on a libreboot system</h1>
- <p>
+ <h1>How to install LibertyBSD or OpenBSD on a libreboot system</h1>
+ <p>
+ NOTE: This guide was written for OpenBSD by the person who contributed
+ it, but the libreboot project recommends LibertyBSD.
+ LibertyBSD is a version of OpenBSD without proprietary software
+ in the repositories (OpenBSD distributes firmware blobs for
+ devices inside its kernel).
+ Go to the <a href="http://libertybsd.net/">LibertyBSD website</a>
+ -- TODO: test on LibertyBSD and prioritise that in this guide.
+ </p>
+ <p>
This section relates to preparing, booting and installing a
OpenBSD distribution on your libreboot system, using nothing more than a USB flash drive (and <i>dd</i>). They've only been tested on a Lenovo ThinkPad x200.
</p>