1 files changed, 68 insertions, 0 deletions
diff --git a/doc/manual/03.RPKI.Installation.FreeBSDPorts.md b/doc/manual/03.RPKI.Installation.FreeBSDPorts.md
new file mode 100644
index 00000000..d4690425
--- /dev/null
+++ b/doc/manual/03.RPKI.Installation.FreeBSDPorts.md
@@ -0,0 +1,68 @@
+# Installation Using FreeBSD Ports
+
+Port skeletons are available for FreeBSD from download.rpki.net. To use these,
+you need to download the port skeletons then run them using your favorite
+FreeBSD port installation tool.
+
+## Manual Download
+
+To download the port skeletons manually and install from them, do something
+like this:
+
+    for port in rpki-rp rpki-ca
+    do
+      fetch https://download.rpki.net/FreeBSD_Packages/${port}-port.tgz
+      tar xf ${port}-port.tgz
+      cd ${port}
+      make install
+      cd ..
+      rm -rf ${port}
+    done
+
+After performing initial installation, you should customize the default
+`rpki.conf` for your environment as necessary. In particular, you want to
+change `handle` and `rpkid_server_host`. There are [obsessively detailed
+instructions][Configuration].
+
+    emacs /usr/local/etc/rpki.conf
+
+Again, you want to change `handle` and `rpkid_server_host` at the minimum.
+
+To upgrade, you can perform almost the same steps, but the FreeBSD ports
+system, which doesn't really know about upgrades, will require you to use the
+`deinstall` and `reinstall` operations instead of plain `install`:
+
+    for port in rpki-rp rpki-ca
+    do
+      fetch https://download.rpki.net/FreeBSD_Packages/${port}-port.tgz
+      tar xf ${port}-port.tgz
+      cd ${port}
+      make deinstall
+      make reinstall
+      cd ..
+      rm -rf ${port}
+    done
+
+After an upgrade, you may want to check the newly-installed
+`/usr/local/etc/rpki.conf.sample` against your existing
+`/usr/local/etc/rpki.conf` in case any important options have changed. We
+generally try to keep options stable between versions, and provide sane
+defaults where we can, but if you've done a lot of customization to your
+`rpki.conf` you will want to keep track of this.
+
+## Automated Download and Install with portmaster
+
+There's a [script][portmaster] you can use to automate the download steps above and
+perform the updates using portmaster. First, download the script:
+
+    fetch https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh
+
+Then, to install or upgrade, just execute the script:
+
+    sh rpki-portmaster.sh
+
+As with manual download (above) you should customize `rpki.conf` after initial
+installation.
+
+[Configuration]: 12.RPKI.CA.Configuration.md
+[portmaster]:    https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh