linux/Config.ext.in

   1 menu "Linux Kernel Extensions"
   2
   3 # Xenomai
   4 config BR2_LINUX_KERNEL_EXT_XENOMAI
   5         bool "Adeos/Xenomai Real-time patch"
   6         depends on BR2_TOOLCHAIN_HAS_THREADS
   7         depends on BR2_i386 || BR2_x86_64 || BR2_arm || \
   8                    BR2_bfin || BR2_powerpc || BR2_sh4
   9         select BR2_PACKAGE_XENOMAI
  10         help
  11           Xenomai Kernel part.
  12
  13           In the current version of Xenomai, the following kernel
  14           versions are supported: on Blackfin, 2.6.34 and 2.6.36.9, on
  15           SH4, 2.6.32.10, on x86, 2.6.35.9, 2.6.37.6, 2.6.38.8, on
  16           ARM, 2.6.35.9, 2.6.37.6, 2.6.38.8, on NIOS2, 2.6.35, on
  17           PowerPC, 2.6.35.7, 2.6.36.4, 3.0.8.
  18
  19 comment "xenomai needs a toolchain w/ threads"
  20         depends on BR2_i386 || BR2_x86_64 || BR2_arm || \
  21                    BR2_bfin || BR2_powerpc || BR2_sh4
  22         depends on !BR2_TOOLCHAIN_HAS_THREADS
  23
  24 config BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH
  25         depends on BR2_LINUX_KERNEL_EXT_XENOMAI
  26         string "Path for Adeos patch file"
  27         help
  28           Optionally, explicitly specify the Adeos patch to use.
  29           Download it at http://download.gna.org/adeos/patches/v2.6/$(ARCH)/
  30           and verify that your kernel version in buildroot matches.
  31
  32 # RTAI
  33 config BR2_LINUX_KERNEL_EXT_RTAI
  34         bool "RTAI Real-time patch"
  35         select BR2_PACKAGE_RTAI
  36         help
  37           RTAI Kernel part.
  38
  39 config BR2_LINUX_KERNEL_EXT_RTAI_PATCH
  40         depends on BR2_LINUX_KERNEL_EXT_RTAI
  41         string "Path for RTAI patch file"
  42         help
  43           Optionally, explicitly specify the RTAI patch to use.
  44
  45 endmenu