changeset 877 | 58b374931cc7 |
parent 858 | e815b1a5057c |
child 911 | e0a3d5c1ecbd |
1.1 --- a/config/kernel/linux.in Mon Sep 15 14:52:29 2008 +0000 1.2 +++ b/config/kernel/linux.in Sun Sep 28 08:14:33 2008 +0000 1.3 @@ -1,5 +1,9 @@ 1.4 # Linux kernel options 1.5 1.6 +config KERNEL_linux 1.7 + help 1.8 + Build a toolchain targeting systems running Linux as a kernel. 1.9 + 1.10 choice 1.11 bool 1.12 prompt "Get kernel headers from:"