diff options
Diffstat (limited to 'config/kernel.in')
| -rw-r--r-- | config/kernel.in | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/config/kernel.in b/config/kernel.in index 607917de..f46a937f 100644 --- a/config/kernel.in +++ b/config/kernel.in @@ -1,11 +1,16 @@ # Kernel options -menu "Kernel" + config KERNEL string + default "none" if BARE_METAL default "linux" if KERNEL_LINUX +if ! BARE_METAL + +menu "Kernel" + choice bool prompt "Target OS" @@ -27,3 +32,5 @@ source config/kernel/linux.in endif endmenu + +endif # ! BARE_METAL |