From b46f9717d719731fd062733e02aaae777054d0a1 Mon Sep 17 00:00:00 2001
From: Leah Rowe <info@minifree.org>
Date: Fri, 14 Oct 2016 17:09:22 +0100
Subject: docs/bsd/openbsd: add instructions for booting fully encrypted
 installations

---
 docs/bsd/netbsd.html  |  2 +-
 docs/bsd/openbsd.html | 27 ++++++++++++++++++++++++++-
 2 files changed, 27 insertions(+), 2 deletions(-)

(limited to 'docs/bsd')

diff --git a/docs/bsd/netbsd.html b/docs/bsd/netbsd.html
index f18b6824..ea4f39d9 100644
--- a/docs/bsd/netbsd.html
+++ b/docs/bsd/netbsd.html
@@ -191,7 +191,7 @@
                 grub&gt; <b>boot</b>
 			</p>
 			<p>
-			i	NetBSD will start booting. Yay!
+				NetBSD will start booting. Yay!
 			</p>
 
 			<p>
diff --git a/docs/bsd/openbsd.html b/docs/bsd/openbsd.html
index 52e34475..57eb6613 100644
--- a/docs/bsd/openbsd.html
+++ b/docs/bsd/openbsd.html
@@ -173,6 +173,30 @@
 				Not working. You can modify the above procedure (installation w/o encryption) to install OpenBSD using full disk encryption, and it appears to work, except that its not yet clear how to actually <i>boot</i> an OpenBSD+FDE installation using libreboot+Grub2. If you get it working, please let us know.
 			</p>
 
+            <p>
+                If booting in text mode (framebuffer mode might also work), it
+                might be possible to chainload the OpenBSD or LibertyBSD bootloader
+                from the MBR section on the internal storage device. This way,
+                it would be possible to boot with an encrypted OpenBSD or
+                LibertyBSD installation. Please let us know (contact details
+                are on the libreboot homepage) if you get it working this way.
+            </p>
+            <p>
+                Alternatively, it would be good to port OpenBSD either natively
+                as a coreboot payload, or port it to libpayload (payload library
+                in coreboot; it has a basic C library and a few functions for
+                certain operations e.g. text/bitmap). <strong>This would be ideal,
+                because then it would be possible to boot a truly fully encrypted
+                OpenBSD or LibertyBSD installation, by putting everything in
+                the flash chip.</strong>
+            </p>
+            <p>
+                Alternatively, modifying GRUB to support booting fully encrypted
+                OpenBSD installations would be possible, but probably not feasible;
+                it's an alien codebase to the OpenBSD project, not tightly integrated
+                and the OpenBSD bootloader already works.
+            </p>
+
 			<p>
 				<a href="#pagetop">Back to top of page</a>.
 			</p>
@@ -187,7 +211,8 @@
 				Press C in GRUB to access the command line:
 			</p>
 			<p>
-				grub> <b>kopenbsd -r sd0a (ahci0,openbsd1)/bsd</b>
+				grub&gt; <b>kopenbsd -r sd0a (ahci0,openbsd1)/bsd</b><br/>
+                grub&gt; <b>boot</b>
 			</p>
 			<p>
 				OpenBSD will start booting. Yay!
-- 
cgit v1.2.3-70-g09d2