===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/armv7.html,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -r1.22 -r1.23
--- www/armv7.html	2016/03/29 12:52:11	1.22
+++ www/armv7.html	2016/04/15 23:40:58	1.23
@@ -124,6 +124,88 @@
 	  on <tt>imx</tt>, <tt>panda</tt> and <tt>sunxi</tt></li>
 </ul>
 
+<p>
+<b>Building from source:</b>
+At this moment, the kernel has to be in the FAT boot partition, not the
+root of the file system like other OpenBSD platforms, and this kernel
+must be in a format required by the U-Boot boot loader.
+So, after building your kernel, you must go through some special steps:
+
+<blockquote><pre>
+# <b>config GENERIC</b>
+# <b>cd ../compile/GENERIC</b>
+# <b>make clean; make</b>
+# <b>make bsd.OMAP.umg</b>
+# <b>mount /dev/sd0i /mnt</b>    <i># assuming your FAT partition is 'i'</i>
+# <b>cp bsd.OMAP.umg /mnt/bsd.umg</b>
+</pre></blockquote>
+
+<b>No real time clock:</b> Many of the armv7 devices do not have a
+battery backed real time clock.
+For this reason, using the "-s" option of
+<a href="faq/faq6.html#OpenNTPD">OpenNTPD</a> may be desirable.
+
+<p>
+<b>Distribution kernels must be converted before use:</b>
+The distribution kernels are standard kernels, which can be used
+for the <tt>-N</tt> option of
+<a href="http://man.openbsd.org/?query=ps">ps(1)</a>,
+<a href="http://man.openbsd.org/?query=vmstat">vmstat(8)</a>,
+<a href="http://man.openbsd.org/?query=dmesg">dmesg(8)</a>,
+<a href="http://man.openbsd.org/?query=iostat">iostat(8)</a>
+and similar applications, but cannot be booted directly by the U-Boot
+bootloader used on this platform.
+
+This can be done using
+<a href="http://man.openbsd.org/?query=mkuboot">mkuboot(8)</a>
+
+<p>
+Typical operation is something along these lines for OMAP/beagle:
+
+<blockquote><pre>
+# <b>mkuboot -a arm -o linux -e 0x80300000 -l 0x80300000 <i>bsd</i> bsd.umg</b>
+</pre></blockquote>
+
+for i.MX6:
+
+<blockquote><pre>
+# <b>mkuboot -a arm -o linux -e 0x10300000 -l 0x10300000 <i>bsd</i> bsd.umg</b>
+</pre></blockquote>
+
+where <i>bsd</i> is the name of the kernel you are converting.
+
+<p>
+<b>U-Boot tricks:</b>
+<ul>
+<li>Booting single user (OMAP/beagle):
+
+<blockquote><pre>
+U-Boot# mmc rescan
+U-Boot# setenv bootargs sd0 -s
+U-Boot# fatload mmc 0 0x82800000 bsd.umg
+U-Boot# bootm 0x82800000
+</pre></blockquote>
+
+<li>Booting single user (i.MX6, mmc storage):
+
+<blockquote><pre>
+U-Boot# mmc rescan
+U-Boot# setenv bootargs sd0 -s
+U-Boot# fatload mmc 0 0x12000000 bsd.umg
+U-Boot# bootm 0x12000000
+</pre></blockquote>
+
+<li>Booting single user (i.MX6, SATA storage):
+
+<blockquote><pre>
+U-Boot# sata init
+U-Boot# setenv bootargs sd0 -s
+U-Boot# fatload sata 0 0x12000000 bsd.umg
+U-Boot# bootm 0x12000000
+</pre></blockquote>
+
+</ul>
+
 <a name="install"></a>
 <h3><font color="#0000e0">
 <strong>Getting and installing</strong>
@@ -131,11 +213,10 @@
 
 <p>
 The latest supported OpenBSD/armv7 release is
-<a href="58.html">OpenBSD 5.8</a>.
+<a href="58.html">OpenBSD 5.9</a>.
 Here are the
-<a href="http://ftp.OpenBSD.org/pub/OpenBSD/5.8/armv7/INSTALL.armv7">
-OpenBSD/armv7 5.8 installation instructions
-</a>.
+<a href="http://ftp.OpenBSD.org/pub/OpenBSD/5.9/armv7/INSTALL.armv7">
+OpenBSD/armv7 5.9 installation instructions</a>.
 
 <p>
 Snapshots are made available from time to time, in