On Mon, Dec 04, 2023 at 11:48:17AM +0100, Mark Kettenis wrote: > That said, I'm not sure to what extent the bootm command is used to > boot NetBSD these days. So this may not really matter. It is used on most 32bit ARM platforms. Martin