From cf5b9d6a31d898750dd31df12f0b6be9c5dce32e Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sat, 14 Feb 2015 02:31:20 -0500
Subject: Documentation: improve the installation instructions

---
(limited to 'docs/install/x200_external.html')

diff --git a/docs/install/x200_external.html b/docs/install/x200_external.html
index e0f2179..8c1df7e 100644
--- a/docs/install/x200_external.html
+++ b/docs/install/x200_external.html
@@ -132,6 +132,10 @@ chip on those pins?
 					Then connect the 3.3v PSU wire (red one) and make sure that everything else is connected.
 				</p>
 				<p>
+					Flashrom binaries for ARM (tested on a BBB) are distributed in libreboot_util. Alternatively,
+					libreboot also distributes flashrom source code which can be built.
+				</p>
+				<p>
 					I did (SSH'd into the BBB):<br/>
 					# <b>./flashrom -p linux_spi:dev=/dev/spidev1.0,spispeed=512</b><br/>
 					In my case, the output was:
--
cgit v0.9.1