changeset 868 | 45b6a85bfdbc |
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 Mon Sep 22 22:01:43 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:"