| author | "Robert P. J. DAY" <rpjday@crashcourse.ca> |
| Fri Apr 17 20:45:47 2009 +0000 (2009-04-17) | |
| changeset 1291 | 740eaf575523 |
| parent 908 | 6db1117b2893 |
| child 1337 | 7f742f73c2d1 |
| permissions | -rw-r--r-- |
1 # Kernel options
3 menu "Operating System"
5 # Config option used throughout the config and code to determine wether
6 # we have a kernel or not (there might be different bare metal stuff...
7 config BARE_METAL
8 bool
9 default n
11 config KERNEL
12 string
14 config KERNEL_VERSION
15 string
17 source config.gen/kernel.in
19 endmenu