Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit b46f9717d719731fd062733e02aaae777054d0a1
parent 981650d285e69708db8da3ecb95c857544a4224b
Author: Leah Rowe <>
Date:   Fri, 14 Oct 2016 17:09:22 +0100

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(-)

diff --git 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 @@ -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!