1 files changed, 94 insertions, 0 deletions
diff --git a/doc/03.RPKI.Installation.FreeBSDPorts.md b/doc/03.RPKI.Installation.FreeBSDPorts.md
new file mode 100644
index 00000000..278edb25
--- /dev/null
+++ b/doc/03.RPKI.Installation.FreeBSDPorts.md
@@ -0,0 +1,94 @@
+# 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.
+
+    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](https://download.rpki.net/FreeBSD_Packages/rpki-
+portmaster.sh) 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.
+
+## Automated Download and Install with portupgrade
+
+There's a [script](https://download.rpki.net/FreeBSD_Packages/rpki-
+portupgrade.sh) you can use to automate the download steps above and perform
+the updates using portupgrade. First, download the script:
+
+    fetch https://download.rpki.net/FreeBSD_Packages/rpki-portupgrade.sh
+
+Next, you will need to add information about the RPKI ports to two variables
+in `/usr/local/etc/pkgtools.conf` before portupgrade will know how to deal
+with these ports:
+
+    EXTRA_CATEGORIES = [
+        'rpki',
+    ]
+
+    ALT_INDEX = [
+        ENV['PORTSDIR'] + '/INDEX.rpki',
+    ]
+
+Once you have completed these steps, you can just execute the script to
+install or upgrade the RPKI code:
+
+    sh rpki-portupgrade.sh
+
+As with manual download (above) you should customize `rpki.conf` after initial
+installation.