diff options
Diffstat (limited to 'config/kernel/linux.in')
| -rw-r--r-- | config/kernel/linux.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/kernel/linux.in b/config/kernel/linux.in index 18881d7..7fd0523 100644 --- a/config/kernel/linux.in +++ b/config/kernel/linux.in @@ -1,5 +1,9 @@ # Linux kernel options +config KERNEL_linux + help + Build a toolchain targeting systems running Linux as a kernel. + choice bool prompt "Get kernel headers from:" |