diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2011-11-28 09:31:45 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2011-12-17 13:59:44 +0100 |
commit | 2a77b1b7a476bb738a78e81eff0be324ec34d9db (patch) | |
tree | 6a9866ba56b5459059001d01fb143ab84842d1ae /platforms/Kconfig | |
parent | 9980fd5ac1d707725503195d8c62d7a55d84c2ca (diff) | |
download | ptxdist-2a77b1b7a476bb738a78e81eff0be324ec34d9db.tar.gz ptxdist-2a77b1b7a476bb738a78e81eff0be324ec34d9db.tar.xz |
add menu for extra kernels
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'platforms/Kconfig')
-rw-r--r-- | platforms/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platforms/Kconfig b/platforms/Kconfig index d7b990ed4..d3ee534f7 100644 --- a/platforms/Kconfig +++ b/platforms/Kconfig @@ -37,6 +37,9 @@ source "platforms/kernel.in" source "platforms/dtc.in" source "platforms/console.in" +menu "extra kernel " +source "generated/kernel.in" +endmenu menu "bootloaders " source "generated/bootloader.in" |