% How to install FreeBSD on a libreboot system
This section relates to preparing, booting and installing FreeBSD on your libreboot system, using nothing more than a USB flash drive (and dd). They've only been tested on a Lenovo ThinkPad x200.
It is expected that you use text mode in libreboot (txtmode images), for the early boot process in FreeBSD. Booting the installer results in a red flickering text display, and doesn't boot.
Thanks go to ioxcide in this Reddit post for the initial instructions.
TODO: test FreeBSD more extensively, and make sure it works (and fix it if it does not). Instructions are provided here, to boot and install FreeBSD but we're not sure whether it is currently fully compatible with libreboot.
This section is only for the GRUB payload. For depthcharge (used on CrOS devices in libreboot), instructions have yet to be written in the libreboot documentation.
freebsd.img is the installation image for FreeBSD. Adapt the filename accordingly, for whatever FreeBSD version you use.
This page on the FreeBSD website shows how to create a bootable USB drive for installing FreeBSD. Use the dd on that page.
This page on the NetBSD website shows how to create a NetBSD bootable USB drive from within NetBSD itself. You should use the dd method documented there; you can use this with any ISO, including FreeBSD.
If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is how to create the bootable FreeBSD USB drive:
Connect the USB drive. Check dmesg:
$ dmesg | tail
Check to confirm which drive it is, for example, if you think its sd3:
$ disklabel sd3
Check that it wasn't automatically mounted. If it was, unmount it. For example:
$ doas umount /dev/sd3i
dmesg told you what device it is. Overwrite the drive, writing the FreeBSD installer to it with dd. For example:
$ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync
You should now be able to boot the installer from your USB drive. Continue reading, for information about how to do that.
If you downloaded your ISO on a GNU+Linux system, here is how to create the bootable FreeBSD USB drive:
Connect the USB drive. Check dmesg:
$ dmesg
Check lsblk to confirm which drive it is:
$ lsblk
Check that it wasn't automatically mounted. If it was, unmount it. For example:
$ sudo umount /dev/sdX\*
# umount /dev/sdX\*
dmesg told you what device it is. Overwrite the drive, writing your distro ISO to it with dd. For example:
$ sudo dd if=freebsd.img of=/dev/sdX bs=8M; sync
# dd if=freebsd.img of=/dev/sdX bs=8M; sync
You should now be able to boot the installer from your USB drive. Continue reading, for information about how to do that.
Press C in GRUB to access the command line:
grub> kfreebsd (usb0,gpt3)/boot/kernel/kernel
grub> set FreeBSD.vfs.mountfrom=ufs:/dev/da1p3\
grub> boot
It will start booting into the FreeBSD installer. Follow the normal process for installing FreeBSD.
TODO
TODO
TODO
Most of these issues occur when using libreboot with coreboot's 'text mode' instead of the coreboot framebuffer. This mode is useful for booting payloads like memtest86+ which expect text-mode, but for FreeBSD it can be problematic when they are trying to switch to a framebuffer because it doesn't exist.
In most cases, you should use the vesafb ROM images. Example filename: libreboot_ukdvorak_vesafb.rom.
Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and numbers may differ. Use TAB completion.
Copyright © 2016 Leah Rowe info@minifree.org\ Copyright © 2016 Scott Bonds scott@ggr.com\ Permission is granted to copy, distribute and/or modify this document under the terms of the Creative Commons Attribution-ShareAlike 4.0 International license or any later version published by Creative Commons; A copy of the license can be found at ../cc-by-sa-4.0.txt
Updated versions of the license (when available) can be found at https://creativecommons.org/licenses/by-sa/4.0/legalcode
UNLESS OTHERWISE SEPARATELY UNDERTAKEN BY THE LICENSOR, TO THE EXTENT POSSIBLE, THE LICENSOR OFFERS THE LICENSED MATERIAL AS-IS AND AS-AVAILABLE, AND MAKES NO REPRESENTATIONS OR WARRANTIES OF ANY KIND CONCERNING THE LICENSED MATERIAL, WHETHER EXPRESS, IMPLIED, STATUTORY, OR OTHER. THIS INCLUDES, WITHOUT LIMITATION, WARRANTIES OF TITLE, MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, ABSENCE OF LATENT OR OTHER DEFECTS, ACCURACY, OR THE PRESENCE OR ABSENCE OF ERRORS, WHETHER OR NOT KNOWN OR DISCOVERABLE. WHERE DISCLAIMERS OF WARRANTIES ARE NOT ALLOWED IN FULL OR IN PART, THIS DISCLAIMER MAY NOT APPLY TO YOU.
TO THE EXTENT POSSIBLE, IN NO EVENT WILL THE LICENSOR BE LIABLE TO YOU ON ANY LEGAL THEORY (INCLUDING, WITHOUT LIMITATION, NEGLIGENCE) OR OTHERWISE FOR ANY DIRECT, SPECIAL, INDIRECT, INCIDENTAL, CONSEQUENTIAL, PUNITIVE, EXEMPLARY, OR OTHER LOSSES, COSTS, EXPENSES, OR DAMAGES ARISING OUT OF THIS PUBLIC LICENSE OR USE OF THE LICENSED MATERIAL, EVEN IF THE LICENSOR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH LOSSES, COSTS, EXPENSES, OR DAMAGES. WHERE A LIMITATION OF LIABILITY IS NOT ALLOWED IN FULL OR IN PART, THIS LIMITATION MAY NOT APPLY TO YOU.
The disclaimer of warranties and limitation of liability provided above shall be interpreted in a manner that, to the extent possible, most closely approximates an absolute disclaimer and waiver of all liability.