--- wikisrc/ports/evbarm/allwinner.mdwn	2015/12/10 22:31:14	1.57
+++ wikisrc/ports/evbarm/allwinner.mdwn	2015/12/10 22:33:03	1.58
@@ -94,6 +94,7 @@ partition on the SD card
 instructions regarding how to boot the kernel (basically the *bootargs* that are
 passed to the kernel and how to load the kernel from a device to the RAM and
 then boot it from the memory address):
+
 [[!template  id=filecontent name="boot.cmd" text="""
 setenv kernel_addr      82000000
 setenv kernel           netbsd.ub