port-arm/60385: missing machdep.booted_kernel

["campbell+netbsd%mumble.net@localhost via gnats" <gnats-admin%NetBSD.org@localhost>]

>Number:         60385
>Category:       port-arm
>Synopsis:       missing machdep.booted_kernel
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    port-arm-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Jun 29 22:00:00 +0000 2026
>Originator:     Taylor R Campbell
>Release:        current, 11, 10, 9, ...
>Organization:
The BootBSD Foundbutwhere?
>Environment:
>Description:

	I can never remember whether my arm gizmos boot from /netbsd or
	/boot/netbsd.img or what.

	On x86 I can use `sysctl machdep.booted_kernel' to remind me.
	But on arm it's not there.

	It would be nice if it were.

	(Ditto other architectures, really, I just happen to be hitting
	this right now on arm.)

>How-To-Repeat:

	sysctl machdep.booted_kernel

>Fix:

	Yes, please!