2007-02-24 11:00:05 +00:00
|
|
|
# Kernel options
|
|
|
|
|
2008-09-16 17:39:40 +00:00
|
|
|
menu "Operating System"
|
|
|
|
|
2008-09-28 21:31:13 +00:00
|
|
|
# Config option used throughout the config and code to determine wether
|
2008-10-06 20:13:05 +00:00
|
|
|
# we have a kernel or not (there might be different bare metal stuff...
|
2008-09-28 21:31:13 +00:00
|
|
|
config BARE_METAL
|
|
|
|
bool
|
|
|
|
default n
|
|
|
|
|
2008-09-10 21:40:23 +00:00
|
|
|
config KERNEL
|
|
|
|
string
|
|
|
|
|
2008-09-16 17:39:40 +00:00
|
|
|
config KERNEL_VERSION
|
|
|
|
string
|
2008-09-14 16:21:07 +00:00
|
|
|
|
2008-09-16 17:39:40 +00:00
|
|
|
source config.gen/kernel.in
|
2008-09-15 09:43:35 +00:00
|
|
|
|
2007-02-24 11:00:05 +00:00
|
|
|
endmenu
|