diff options
Diffstat (limited to 'platforms/image_kernel.in')
| -rw-r--r-- | platforms/image_kernel.in | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/platforms/image_kernel.in b/platforms/image_kernel.in new file mode 100644 index 000000000..0ac048957 --- /dev/null +++ b/platforms/image_kernel.in @@ -0,0 +1,24 @@ +## SECTION=image + +menuconfig IMAGE_KERNEL + bool + prompt "Generate images/linuximage " + depends on KERNEL + help + Install the kernel to "platform-FOO/images/linuximage" + +if IMAGE_KERNEL + +config IMAGE_KERNEL_INSTALL_EARLY + bool + default !IMAGE_KERNEL_INSTALL_LATE + help + If activated the kernel is installed during the kernel's + "targetinstall" stage. + +config IMAGE_KERNEL_INSTALL_LATE + bool + help + Install kernel image during "images". + +endif |