aboutsummaryrefslogtreecommitdiff
path: root/docs/bsd
diff options
context:
space:
mode:
Diffstat (limited to 'docs/bsd')
-rw-r--r--docs/bsd/freebsd.md51
-rw-r--r--docs/bsd/index.md1
-rw-r--r--docs/bsd/netbsd.md53
-rw-r--r--docs/bsd/openbsd.md55
4 files changed, 94 insertions, 66 deletions
diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index fa7c8167..4da37192 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -59,18 +59,23 @@ Prepare the USB drive (in LibertyBSD or OpenBSD)
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**
+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**\
+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**\
+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.
@@ -83,20 +88,24 @@ Prepare the USB drive (in GNU+Linux)
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**
+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\***
+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**
+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.
@@ -110,9 +119,9 @@ Installing FreeBSD without full disk encryption
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**
+ 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.
diff --git a/docs/bsd/index.md b/docs/bsd/index.md
index 8f0aad75..7b2aecbe 100644
--- a/docs/bsd/index.md
+++ b/docs/bsd/index.md
@@ -11,6 +11,7 @@ instructions have yet to be written.**
- [How to install NetBSD on a libreboot system](netbsd.html)
- [How to install LibertyBSD or OpenBSD on a libreboot
system](openbsd.html)
+
- [How to install FreeBSD on a libreboot system](freebsd.html)
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index 286d9495..cccd5263 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -55,18 +55,23 @@ Prepare the USB drive (in LibertyBSD or NetBSD)
If you downloaded your ISO on a LibertyBSD or NetBSD system, here is how
to create the bootable NetBSD 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**
+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**\
+example:
+
+ $ doas umount /dev/sd3i
dmesg told you what device it is. Overwrite the drive, writing the
-NetBSD installer to it with dd. For example:\
-**\$ doas netbsd.iso of=/dev/rsdXc bs=1M; sync**\
+NetBSD installer to it with dd. For example:
+
+ $ doas netbsd.iso 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.
@@ -79,20 +84,24 @@ Prepare the USB drive (in GNU+Linux)
If you downloaded your ISO on a GNU+Linux system, here is how to create
the bootable NetBSD USB drive:
-Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
-Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+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\***
+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=install60.fs of=/dev/sdX bs=8M; sync**\
-**\# dd if=netbsd.iso of=/dev/sdX bs=8M; sync**
+distro ISO to it with dd. For example:
+
+ $ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync
+ # dd if=netbsd.iso 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.
@@ -107,8 +116,8 @@ Installing NetBSD without full disk encryption
You might have to use an external USB keyboard during the installation.
Press C to access the GRUB terminal.
-grub> **knetbsd -r sd0a (usb0,netbsd1)/netbsd**\
-grub> **boot**
+ grub> knetbsd -r sd0a (usb0,netbsd1)/netbsd
+ grub> boot
It will start booting into the NetBSD installer. Follow the normal
process for installing NetBSD.
@@ -131,8 +140,8 @@ Booting
Press C in GRUB to access the command line:
-grub> **knetbsd -r wd0a (ahci0,netbsd1)/netbsd**\
-grub> **boot**
+ grub> knetbsd -r wd0a (ahci0,netbsd1)/netbsd
+ grub> boot
NetBSD will start booting. Yay!
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 53086ed1..908e9a38 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -4,7 +4,7 @@ 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 [LibertyBSD website](http://libertybsd.net/) \-- TODO: test on
+to the [LibertyBSD website](http://libertybsd.net/) -- TODO: test on
LibertyBSD and prioritise that in this guide.
This section relates to preparing, booting and installing OpenBSD on
@@ -37,18 +37,23 @@ Prepare the USB drive (in LibertyBSD or OpenBSD)
If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is
how to create the bootable LibertyBSD/OpenBSD 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**
+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**\
+example:
+
+ $ doas umount /dev/sd3i
dmesg told you what device it is. Overwrite the drive, writing the
-OpenBSD installer to it with dd. For example:\
-**\$ doas dd if=install60.fs of=/dev/rsdXc bs=1M; sync**\
+OpenBSD installer to it with dd. For example:
+
+ $ doas dd if=install60.fs 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.
@@ -78,20 +83,24 @@ Prepare the USB drive (in GNU+Linux)
If you downloaded your ISO on a GNU+Linux system, here is how to create
the bootable OpenBSD USB drive:
-Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
-Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+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\***
+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=install60.fs of=/dev/sdX bs=8M; sync**\
-**\# dd if=install60.fs of=/dev/sdX bs=8M; sync**
+distro ISO to it with dd. For example:
+
+ $ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync
+ # dd if=install60.fs 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.
@@ -105,8 +114,8 @@ Installing OpenBSD without full disk encryption
Press C in GRUB to access the command line:
-grub> **kopenbsd (usb0,openbsd1)/6.0/amd64/bsd.rd**\
-grub> **boot**
+ grub> kopenbsd (usb0,openbsd1)/6.0/amd64/bsd.rd
+ grub> boot
It will start booting into the OpenBSD installer. Follow the normal
process for installing OpenBSD.
@@ -152,8 +161,8 @@ Booting
Press C in GRUB to access the command line:
-grub> **kopenbsd -r sd0a (ahci0,openbsd1)/bsd**\
-grub> **boot**
+ grub> kopenbsd -r sd0a (ahci0,openbsd1)/bsd
+ grub> boot
OpenBSD will start booting. Yay!