diff options
| author | Thomas De Schampheleire <patrickdepinguin+buildroot@gmail.com> | 2011-09-17 22:22:51 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-09-18 22:59:20 +0200 |
| commit | 3011d235185b490e619dd8b01004538c5985b0ed (patch) | |
| tree | 08acdcd0793b47a24f19f7328f1e334bdd4fc60f /linux/Config.ext.in | |
| parent | ad1fd9778566e9020ace3b8c7d2b3815b67201b4 (diff) | |
linux: Add Linux Kernel extensions menu
Add a kernel sub-menu (called "Linux Kernel Extensions"), which makes
possible to patch it or tweak the kernel build step.
* All linux/linux-ext-*.mk files will be read by the make process.
* The menu can be customized in "linux/Config.ext.in".
[Peter: small fixes]
Signed-off-by: Benoit Mauduit <benoit.mauduit@openwide.fr>
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'linux/Config.ext.in')
| -rw-r--r-- | linux/Config.ext.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/linux/Config.ext.in b/linux/Config.ext.in new file mode 100644 index 000000000..50e801d67 --- /dev/null +++ b/linux/Config.ext.in @@ -0,0 +1,3 @@ +menu "Linux Kernel Extensions" + +endmenu |