dnl	$OpenBSD: whatis,v 1.3 2020/04/15 11:41:08 kettenis Exp $

OpenBSD/MACHINE runs on a wide variety of hardware that integrates
64-bit ARMv8 processors.  OpenBSD/MACHINE requires a minimal UEFI
firmware (including U-Boot) and supports both ACPI and device-tree
based hardware enumeration.