author | Martin Lund <mgl@doredevelopment.dk> |
Sun Jun 14 22:43:33 2009 +0200 (2009-06-14) | |
branch | avr32 |
changeset 1467 | 1b9afd946da3 |
parent 920 | 44dd635202a4 |
child 1499 | ff1f40a8f9c1 |
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