--- wikisrc/ports/evbarm.mdwn	2019/06/12 08:54:57	1.74
+++ wikisrc/ports/evbarm.mdwn	2019/06/27 17:32:09	1.81
@@ -18,18 +18,6 @@ boards based on CPUs implementing the AR
 supports some specific embedded system products based on prototype board
 designs.
 
-### SSH configuration
-
-The default configuration will connect to the local network via DHCP and
-run an SSH server. In order to use the SSH server, we must configure
-users. This can be done by writing to the SD card's MS-DOS partition.
-
-Create a creds.txt file and use:
-
-           useradd user password
-
-\todo Additional configuration options are available on creds_msdos.8
-
 ### CPU types
 
 The evbarm port can be built with a variety of CPU options, corresponding to the
@@ -69,18 +57,33 @@ anita can be used to test builds.  (In a
  - evbarm-aarch64 uses "qemu-system-aarch64 -M virt"
  - Information on how to test emulated versions of other specific hardware is welcome.
 
-### Board specific information
+### invisible.ca builds
+
+NetBSD developer Jared McNeill provides [builds of NetBSD-current for a vast variety of hardware.](https://www.invisible.ca/arm/)   In addition to the standard build, these images have board-specific uboot contents.  See also /usr/pkgsrc/sysutils/u-boot*.
+
+### Board specific information (often including installation information)
  - [[Allwinner sunxi family SoCs|Allwinner]]
  - [[BeagleBone, BeagleBone Black, and PocketBeagle|BeagleBone]]
  - [[NVIDIA Tegra|Tegra]]
  - [[ODROID C1 and C1+|ODROID-C1]]
  - [[Raspberry Pi 1, 2 and 3|Raspberry Pi]]
 
-"""
+### SSH configuration for installtion
+
+The default configuration will connect to the local network via DHCP and
+run an SSH server. In order to use the SSH server, we must configure
+users. This can be done by writing to the SD card's MS-DOS partition.
+
+Create a creds.txt file and use:
+
+           useradd user password
 
+<!--TODO: Additional configuration options are available on creds_msdos.8-->
+
+"""
 supported_hardware="""
 
-**NOTE**: This list is incomplete. For a full list of configurations, please see the [evbarm kernel configs](http://cvsweb.netbsd.org/bsdweb.cgi/src/sys/arch/evbarm/conf/) directory in CVS.
+**NOTE**: This list is incomplete. For a full list of boards, please see the [GENERIC DTS files](http://cvsweb.netbsd.org/bsdweb.cgi/~checkout~/src/sys/arch/evbarm/conf/GENERIC).
 
 [[!toc startlevel=3]]
 
@@ -280,6 +283,8 @@ Support for NVIDIA [[Tegra]] K1 SoCs is 
 ### Raspberry Pi Foundation **Raspberry Pi**/**Raspberry Pi 2**/**Raspberry Pi 3**
 The [[Raspberry Pi]] is a low-cost credit-card-sized computer from the Raspberry Pi Foundation.  The Raspberry Pi, Pi 2, and Pi 3 are supported.
 
+See the [[Raspberry Pi 1, 2 and 3|Raspberry Pi]] page for much more information.
+
 ### Samsung **SMDK2410**
 
 The SMDK2410 is the reference platform for the Samsung **S3C2410** processor,