diff options
| author | Thomas De Schampheleire | 2011-09-17 22:22:52 +0200 |
|---|---|---|
| committer | Peter Korsgaard | 2011-09-18 22:59:44 +0200 |
| commit | 956d4ab0f501c44f977297d8faac95afa43f3082 (patch) | |
| tree | 1a41318da4d95f7c4b36659ee408434b4078a332 /package/Config.in | |
| parent | linux: Add Linux Kernel extensions menu (diff) | |
| download | buildroot-956d4ab0f501c44f977297d8faac95afa43f3082.tar.gz buildroot-956d4ab0f501c44f977297d8faac95afa43f3082.tar.xz buildroot-956d4ab0f501c44f977297d8faac95afa43f3082.zip | |
Add xenomai real-time Framework to buildroot
[Fixes by Thomas, including comments from Arnout:
* Use AUTOTARGETS instead of GENTARGETS
* Use $(KERNEL_ARCH) instead of $(BR2_ARCH) as argument to the
prepare-kernel.sh script. This allows the arch name to be fixed
with the usual sed expressions and the quotes to be stripped.
* Add the --verbose option to prepare-kernel.sh. This allows to get
some clear error message when no Xenomai patch has been found for
the current kernel version.
* Improve the help texts as suggested by Arnout, and remove the
now useless README file.
* Add a BR2_PACKAGE_XENOMAI_SMP option, instead of poking inside the
kernel configuration to find out whether SMP is enabled or
not. This cannot work because: 1) the kernel might be built
outside of Buildroot and 2) if the kernel is built inside
Buildroot, it is built *after* Xenomai, so the kernel
configuration file is typically not yet present.
* Simplify the ARM subarchitecture selection as suggested by Arnout.
* Remove the documentation and development files according to
Buildroot standards (using BR2_HAVE_DOCUMENTATION and
BR2_HAVE_DEVFILES).
* Simplify the /etc/ld.so.conf modification logic.
]
[Peter: whitespace fixes]
Signed-off-by: Benoit Mauduit <benoit.mauduit@openwide.fr>
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/Config.in')
| -rw-r--r-- | package/Config.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/package/Config.in b/package/Config.in index d95e7b5e8..efb266a5e 100644 --- a/package/Config.in +++ b/package/Config.in @@ -487,6 +487,10 @@ source "package/rpm/Config.in" endif endmenu +menu "Real-Time" +source "package/xenomai/Config.in" +endmenu + menu "Shell and utilities" source "package/at/Config.in" if BR2_PACKAGE_BUSYBOX_SHOW_OTHERS |