--- wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 22:00:10	1.11
+++ wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 22:17:46	1.13
@@ -4,6 +4,12 @@ In this document we will see step by ste
 external media (SATA hard disk, USB stick or (u)SD card) using
 [[!template id=man name="sysinst" section="8"]].
 
+We will start by installing NetBSD/evbarm via `armv7.img` on a
+(u)SD card.  Then we will use
+[[!template id=man name="sysinst" section="8"]] to install
+NetBSD/evbarm on a SATA hard disk. The (u)SD card populated via
+`armv7.img` will then be used only in the early boot phase for u-boot.
+
 As practical example a BananaPI and a SATA hard disk will be used.
 However, the following instructions can be probably easily applied
 on other SoCs and medias with little adjustments.
@@ -566,4 +572,8 @@ the `/boot` partition of the hard disk.
 
 # References
 
-*TODOleot*: add a reference to the instructions shared via PR port-evbarm/50806.
+- [Installing NetBSD to HD/SSD on the Banana Pi](http://daemonforums.org/showthread.php?t=9652)
+  shows how to install NetBSD/evbarm 7.0 on a SATA hard disk by copying the
+  contents of (u)SD.
+- [Chapter 3. Example installation, The NetBSD Guide](https://www.netbsd.org/docs/guide/en/chap-exinst.html)
+  describes in details every steps of the NetBSD installation.