diff options
Diffstat (limited to 'target/Config.in')
| -rw-r--r-- | target/Config.in | 28 |
1 files changed, 27 insertions, 1 deletions
diff --git a/target/Config.in b/target/Config.in index 665922d61..a9d5c3537 100644 --- a/target/Config.in +++ b/target/Config.in @@ -18,8 +18,34 @@ source "target/x86/grub/Config.in" #source "target/x86/grub2/Config.in" source "target/x86/syslinux/Config.in" source "target/powerpc/yaboot/Config.in" - endmenu +menu "Kernel" +choice + prompt "Kernel type" + default BR2_KERNEL_LINUX + +config BR2_KERNEL_none + bool "none" + help + Do not build a kernel + +config BR2_KERNEL_LINUX + bool "linux" + help + Linux kernel + +config BR2_KERNEL_HURD + bool "hurd" + help + GNU/Hurd kernel +endchoice +if BR2_KERNEL_LINUX source "target/linux/Config.in" +endif +if BR2_KERNEL_HURD +source "target/hurd/Config.in" +endif +endmenu + source "target/device/Config.in" |