Config.ext.in 2.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  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_PACKAGE_XENOMAI_COBALT_ARCH_SUPPORTS
  7. depends on BR2_USE_MMU # xenomai
  8. depends on BR2_TOOLCHAIN_HAS_SYNC_4 # xenomai
  9. depends on BR2_TOOLCHAIN_HAS_THREADS # xenomai
  10. depends on !BR2_TOOLCHAIN_USES_MUSL # xenomai
  11. select BR2_PACKAGE_XENOMAI
  12. help
  13. Xenomai is split in two parts: a kernel part and a userspace
  14. part. Enabling this option automatically selects the Xenomai
  15. package and helps in patching the Linux kernel built by
  16. Buildroot with the Xenomai kernel part (ie Adeos/Ipipe).
  17. You can find the currently supported kernel versions by
  18. looking at the available patches in the Xenomai sources
  19. tree: ksrc/arch/$(ARCH)/patches
  20. However, it is recommended to use the latest version of the
  21. Adeos/Ipipe patch available at
  22. https://xenomai.org/downloads/ipipe/
  23. Xenomai is know to support Blackfin, SH4, x86, ARM, NIOS2
  24. and PowerPC architectures.
  25. config BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH
  26. string "Path/URL for Adeos patch file"
  27. depends on BR2_LINUX_KERNEL_EXT_XENOMAI
  28. help
  29. Optionally, explicitly specify where to find the Adeos
  30. patch to use.
  31. Examples:
  32. https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.19.33-arm-2.patch
  33. or /home/foo/ipipe-core-4.19.33-arm-2.patch
  34. Please verify that your kernel version in Buildroot matches.
  35. comment "xenomai needs a uClibc or glibc toolchain w/ threads"
  36. depends on BR2_PACKAGE_XENOMAI_COBALT_ARCH_SUPPORTS
  37. depends on BR2_USE_MMU
  38. depends on BR2_TOOLCHAIN_HAS_SYNC_4
  39. depends on !BR2_TOOLCHAIN_HAS_THREADS || BR2_TOOLCHAIN_USES_MUSL
  40. #-------------------------------------------------------------------------------
  41. # RTAI
  42. config BR2_LINUX_KERNEL_EXT_RTAI
  43. bool "RTAI Real-time patch"
  44. depends on !BR2_LINUX_KERNEL_LATEST_VERSION
  45. depends on !BR2_LINUX_KERNEL_LATEST_CIP_VERSION
  46. depends on !BR2_LINUX_KERNEL_LATEST_CIP_RT_VERSION
  47. select BR2_PACKAGE_RTAI
  48. help
  49. RTAI Kernel part.
  50. # kernel extensions from br2-external trees, if any
  51. source "$BR2_BASE_DIR/.br2-external.in.linux"
  52. endmenu