src.conf.5: regen after addition of KERNEL_BIN

Fixes: 34632ed1a4 ("arm: Introduce MK_KERNEL_BIN to control gener...")
Sponsored by:	The FreeBSD Foundation
This commit is contained in:
Ed Maste 2023-10-29 18:55:56 -04:00
parent e5b786625f
commit ce37de8e05

View file

@ -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.