Change Details

It's often desirable to omit kernel.bin from the install. Add a knob so that WITH_KERNEL_BIN or WITHOUT_KERNEL_BIN controll its installation. config files should add 'makeoptions WITH_KERNEL_BIN'. It is on by default, but in the future may be off by default. It only affects arm and arm64 (since those are the only two that support it). Sponsored by: Netflix

It's often desirable to omit kernel.bin from the install. 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 defaultIt only affects arm and arm64 (since those are the only two that support it). Sponsored by: Netflix

It's often desirable to omit kernel.bin from the install. Add a knob so that WITH_KERNEL_BIN or WITHOUT_KERNEL_BIN controll its generation and installation. config files should add 'makeoptions WITH_KERNEL_BIN'. It=t' to is on by default,enable it. but in the future may be off by default.Since its use is specialized, it is off by defaultIt only affects arm and arm64 (since those are the only two that support it). Sponsored by: Netflix