git: ce37de8e05b2 - main - src.conf.5: regen after addition of KERNEL_BIN

From: Ed Maste <emaste_at_FreeBSD.org>
Date: Sun, 29 Oct 2023 23:02:44 UTC
The branch main has been updated by emaste:

URL: https://cgit.FreeBSD.org/src/commit/?id=ce37de8e05b233bc50de2c7678ee841573e6a7e2

commit ce37de8e05b233bc50de2c7678ee841573e6a7e2
Author:     Ed Maste <emaste@FreeBSD.org>
AuthorDate: 2023-10-29 22:55:56 +0000
Commit:     Ed Maste <emaste@FreeBSD.org>
CommitDate: 2023-10-29 23:02:39 +0000

    src.conf.5: regen after addition of KERNEL_BIN
    
    Fixes: 34632ed1a495 ("arm: Introduce MK_KERNEL_BIN to control gener...")
    Sponsored by:   The FreeBSD Foundation
---
 share/man/man5/src.conf.5 | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/share/man/man5/src.conf.5 b/share/man/man5/src.conf.5
index bc94d5c62234..67a906e964b2 100644
--- a/share/man/man5/src.conf.5
+++ b/share/man/man5/src.conf.5
@@ -1,5 +1,5 @@
 .\" DO NOT EDIT-- this file is @generated by tools/build/options/makeman.
-.Dd October 10, 2023
+.Dd October 29, 2023
 .Dt SRC.CONF 5
 .Os
 .Sh NAME
@@ -818,6 +818,15 @@ Build some programs without Kerberos support, like
 .Xr telnet 1 ,
 and
 .Xr sshd 8 .
+.It Va WITH_KERNEL_BIN
+Generate and install kernel.bin from kernel as part of the normal build and
+install processes for the kernel. Available only on arm and arm64.
+
+Usually this will be added to the kernel config file with:
+
+makeoptions	WITH_KERNEL_BIN=1
+
+though it can also be used on the command line.
 .It Va WITH_KERNEL_RETPOLINE
 Enable the "retpoline" mitigation for CVE-2017-5715 in the kernel
 build.