--- wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 20:18:00	1.5
+++ wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 20:56:25	1.6
@@ -7,7 +7,20 @@ external media (SATA hard disk, USB stic
 
 # 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