diff options
author | Marc Kleine-Budde <mkl@pengutronix.de> | 2016-04-28 16:43:00 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-05-01 09:12:26 +0200 |
commit | e30ffd90ad2615b3d2c8d1f015f91d2bbbefc292 (patch) | |
tree | 5ba6421b04b450334017f9c32e5ddd2189251fb6 /platforms | |
parent | ab12d380e70f4536a8fb043774e877901fa2d27e (diff) | |
download | ptxdist-e30ffd90ad2615b3d2c8d1f015f91d2bbbefc292.tar.gz ptxdist-e30ffd90ad2615b3d2c8d1f015f91d2bbbefc292.tar.xz |
kernel: introduce symbol KERNEL_XPKG
This symbol controls if a kernel xpkg is created. All kernel tool should
select this so that the xpkg is created. Kernel modules will end up in a
different xpkg anyways.
Signed-off-by: Marc Kleine-Budde <mkl@pengutronix.de>
Diffstat (limited to 'platforms')
-rw-r--r-- | platforms/kernel.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/platforms/kernel.in b/platforms/kernel.in index ded878463..fd1c49271 100644 --- a/platforms/kernel.in +++ b/platforms/kernel.in @@ -12,9 +12,16 @@ menuconfig KERNEL if KERNEL +config KERNEL_XPKG + bool + help + Select this symbol if kernel tools or other non kernel + modules are installed. + config KERNEL_INSTALL bool prompt "install kernel into /boot" + select KERNEL_XPKG config KERNEL_MODULES bool |