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 /package/xenomai/Config.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 'package/xenomai/Config.in')
0 files changed, 0 insertions, 0 deletions