mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-24 17:44:17 +01:00
34632ed1a4
It's sometimes desirable to generate kernel.bin and install it. While the mainstream has moved on to UEFI booting on arm, some specialized gear can't support it. For that gear, we unconditionally generate kernel.bin. Add a knob so that WITH_KERNEL_BIN or WITHOUT_KERNEL_BIN control its generation and installation. config files should add 'makeoptions WITH_KERNEL_BIN=t' to enable it. Since its use is specialized, it is off by default now since the arm world has largely moved on to UEFI. It only affects arm and arm64 (since those are the only two that support it). Sponsored by: Netflix Reviewed by: mmel Differential Revision: https://reviews.freebsd.org/D39013
9 lines
283 B
Plaintext
9 lines
283 B
Plaintext
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.
|