--- wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 21:39:07	1.9
+++ wikisrc/ports/evbarm/install_using_sysinst.mdwn	2018/11/19 22:00:10	1.11
@@ -31,12 +31,38 @@ $ gunzip armv7.img.gz
 # 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
+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
+"""]]
 
-# Installing via sysinst(8)
+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
+"""]]
 
-*TODOleot*: Document all sysinst(8) "screenshot"!
+...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)
 
 Now that the SD card is populated with `armv7.img` we can login as `root` (by
 default the password is empty) and run `sysinst`:
@@ -504,14 +530,39 @@ The installation will proceed as usual a
 please give a look to
 [The NetBSD Guide](https://www.netbsd.org/docs/guide/en/chap-exinst.html#exinst-choose-media).
 
-*TODOleot*: add information how to populate `/boot` and prepare `boot.cmd`,
-`boot.scr`.
+When the installation is completed, back to the shell we can populate
+`/boot` partition of the hard disk ("wd0e") by just copying all
+files of the `/boot` partition of the (u)SD card (`armv7.img`):
 
 [[!template id=programlisting text="""
 # mount /dev/wd0e /mnt
 # cp -r /boot/* /mnt/
+# umount /mnt
+"""]]
+
+Finally we can prepare a u-boot script (`boot.scr`) to load the kernel from the
+SATA hard disk and boot it:
+
+[[!template id=programlisting text="""
+$ cat boot.cmd
+scsi scan
+scsi dev 0
+setenv kernel netbsd-BPI.ub
+fatload scsi 0:1 82000000 $kernel
+bootm 82000000 root=wd0a console=fb
+$ mkubootimage -A arm -n armv7 -T script boot.cmd boot.scr
 """]]
 
+...and copy them to the (u)SD `/boot`:
+
+[[!template id=programlisting text="""
+# cp boot.scr /boot
+"""]]
+
+Please remember that in the early boot phase, u-boot and `boot.scr`
+are loaded from the (u)SD card and it loads the kernel present in
+the `/boot` partition of the hard disk.
+
 
 # References