1Generate and install kernel.bin from kernel as part of the normal build and
2install processes for the kernel. Available only on arm and arm64.
3
4Usually this will be added to the kernel config file with:
5
6makeoptions WITH_KERNEL_BIN=1
7
8though it can also be used on the command line.
9