--- wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 20:56:25	1.6
+++ wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 21:49:42	1.10
@@ -4,25 +4,62 @@ 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`
 
 - Download or build `armv7.img`, e.g.:
-````
+
+[[!template id=programlisting text="""
 $ 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
-````
+
+[[!template id=programlisting text="""
+# 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
-````
+`sysutils/u-boot-<boardname>` packages, for example for Allwinner SoC:
+
+[[!template id=programlisting text="""
+# dd if=/usr/pkg/share/u-boot/&lt;boardname&gt;/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
+NetBSD/evbarm 8.0 does not automatically boot on the BananaPI.
+We can use the following commands to boot from the (u)SD cards in u-boot:
+
+[[!template id=programlisting text="""
+mmc dev 0
+setenv kernel netbsd-BPI.ub
+fatload mmc 0:1 82000000 $kernel
+bootm 82000000 root=ld0a console=fb
+"""]]
+
+Or, to avoid typing them at every boot we can prepare an u-boot script via
+[[!template id=man name="mkubootimage" section="1"]].
+
+[[!template id=programlisting text="""
+$ cat boot.cmd
+mmc dev 0
+setenv kernel netbsd-BPI.ub
+fatload mmc 0:1 82000000 $kernel
+bootm 82000000 root=ld0a console=fb
+$ mkubootimage -A arm -n armv7 -T script boot.cmd boot.scr
+"""]]
+
+...and copy it on the populated (u)SD card:
+
+[[!template id=programlisting text="""
+# mount /dev/sd0e /mnt
+# cp /mnt/boot.scr /mnt/boot.scr.orig
+# cp boot.scr /mnt/
+"""]]
 
 
 # Installing via sysinst(8)