@@ -1,4 +1,4 @@
-.\"	$NetBSD: contents,v 1.4.4.3 2020/07/20 18:32:55 martin Exp $
+.\"	$NetBSD: contents,v 1.4.4.4 2020/07/26 11:07:56 martin Exp $
 .\"
 .\" Copyright (c) 1999-2020 The NetBSD Foundation, Inc.
 .\" All rights reserved.
@@ -61,8 +61,6 @@
 A gzipped writable image containing the complete 32-bit
 .Nx
 operating system for Raspberry Pi variants only (includes RPI kernels).
-.			It Pa *.dtb.gz
-Gzipped board-specific device trees.
 .		tag) \" binary/gzimg/
 .		It Pa kernel/
 .		(tag netbsd.gz -compact \" binary/kernel
@@ -76,6 +74,8 @@
 A gzipped ARMv6 kernel which supports the Raspberry Pi 1 only.
 .			It Pa netbsd-RPI2.gz
 A gzipped ARMv6 kernel which supports the Raspberry Pi 2 only.
+.			It Pa *.dtb.gz
+Gzipped board-specific device trees.
 .		tag) \" binary/kernel/
 .
 .		It Pa sets/

@@ -1,4 +1,4 @@
-.\"	$NetBSD: hardware,v 1.10.66.1 2020/07/20 18:32:55 martin Exp $
+.\"	$NetBSD: hardware,v 1.10.66.2 2020/07/26 11:07:56 martin Exp $
 .\"
 .\" Copyright (c) 2001-2020 The NetBSD Foundation, Inc.
 .\" All rights reserved.
@@ -40,6 +40,8 @@
 .It
 Texas Instruments OMAP3 (e.g. BeagleBoard, BeagleBone Black...)
 .It
+Xilinx Zynq (e.g. Zedboard, Parallella...)
+.It
 NVIDIA Tegra K1
 .El
 .Ss2 64-bit SoCs supported by GENERIC64 kernels
@@ -55,6 +57,8 @@
 Amlogic S905 (e.g. ODROID-C2, Le Potato, NanoPi K2...)
 .It
 Broadcom BCM2837 (e.g. Raspberry Pi 3)
+.It
+Marvell ThunderX
 .It
 Rockchip RK3328, RK3328 (e.g. Pinebook Pro, RockPro64, Firefly...)
 .It