--- wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 20:14:38	1.4
+++ wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 21:18:08	1.7
@@ -4,10 +4,27 @@ 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"]].
 
+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.
+
 
 # Populating (u)SD card with `armv7.img`
 
-*TODOleot*: (mostly) copy-paste instructions from allwinner.mdwn
+- Download or build `armv7.img`, e.g.:
+````
+$ ftp http://cdn.NetBSD.org/pub/NetBSD/NetBSD-8.0/evbarm-earmv7hf/binary/gzimg/armv7.img.gz
+$ gunzip armv7.img.gz
+````
+- Write the image to (u)SD card:
+````
+$ dd if=armv7.img of=/dev/rsd0d bs=1m conv=sync
+````
+- Write u-boot to (u)SD card. `u-boot` images are provided by
+`sysutils/u-boot-<boardname>` packages, for example for Allwinner SoC:
+````
+$ dd if=/usr/pkg/share/u-boot/<boardname>/u-boot-sunxi-with-spl.bin of=/dev/rld0d bs=1k seek=8 conv=sync
+````
 
 *TODOleot*: Adjust/provide u-boot incantantions to boot on a BPI
 
@@ -210,7 +227,7 @@ First we select the second entry ("b"), 
              | g: Linux native                   |
              | h: Linux swap                     |
              | i: DOS FAT12                      |
-             | <: page up, >: page down          |
+             | &lt;: page up, &gt;: page down          |
              +-----------------------------------+