diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2011-09-17 22:22:58 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-09-18 23:00:07 +0200 |
| commit | 8797a9cd1fe6723db34b0c125d0d9d04e3483e8d (patch) | |
| tree | b85dbf581c7d1a8adda8047971c6b2ee7c6c8873 /linux/Config.ext.in | |
| parent | a473a616d27e46951a23d90249a31b08006098bf (diff) | |
Add support for the RTAI real-time extension
[Peter: fix rtai Config.in]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'linux/Config.ext.in')
| -rw-r--r-- | linux/Config.ext.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/linux/Config.ext.in b/linux/Config.ext.in index 893edb58b..8a9f87ec4 100644 --- a/linux/Config.ext.in +++ b/linux/Config.ext.in @@ -15,4 +15,17 @@ config BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH Download it at http://download.gna.org/adeos/patches/v2.6/$(ARCH)/ and verify that your kernel version in buildroot matches. +# RTAI +config BR2_LINUX_KERNEL_EXT_RTAI + bool "RTAI Real-time patch" + select BR2_PACKAGE_RTAI + help + RTAI Kernel part. + +config BR2_LINUX_KERNEL_EXT_RTAI_PATCH + depends on BR2_LINUX_KERNEL_EXT_RTAI + string "Path for RTAI patch file" + help + Optionally, explicitly specify the RTAI patch to use. + endmenu |