--- wikisrc/ports/evbarm/allwinner.mdwn	2018/07/09 11:54:39	1.92
+++ wikisrc/ports/evbarm/allwinner.mdwn	2018/11/17 11:13:16	1.93
@@ -94,7 +94,9 @@ Please refer to the [32-bit](https://nxr
 
 - Download or build **armv7.img** (32-bit) or **arm64.img** (64-bit) from NetBSD -current
 - Write the image to disk: **dd if=armv7.img of=/dev/rld0d bs=1m conv=sync**
-- Install a board-specific U-Boot (2017.07 or later) from pkgsrc to the SD card: **dd if=/usr/pkg/share/u-boot/<boardname>/u-boot-sunxi-with-spl.bin of=/dev/rld0d bs=1k seek=8 conv=sync**
+- Install a board-specific U-Boot (2017.07 or later) from pkgsrc to the SD card
+  (the `u-boot-sunxi-with-spl` are part of `sysutils/u-boot-<boardname>` packages):
+  **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**
 
 # Tips and tricks