| menu "Linux Kernel Extensions" | |
| #------------------------------------------------------------------------------- | |
| # Xenomai | |
| config BR2_LINUX_KERNEL_EXT_XENOMAI | |
| bool "Adeos/Xenomai Real-time patch" | |
| depends on BR2_PACKAGE_XENOMAI_COBALT_ARCH_SUPPORTS | |
| depends on BR2_USE_MMU # xenomai | |
| depends on BR2_TOOLCHAIN_HAS_SYNC_4 # xenomai | |
| depends on BR2_TOOLCHAIN_HAS_THREADS # xenomai | |
| depends on !BR2_TOOLCHAIN_USES_MUSL # xenomai | |
| select BR2_PACKAGE_XENOMAI | |
| help | |
| Xenomai is split in two parts: a kernel part and a userspace | |
| part. Enabling this option automatically selects the Xenomai | |
| package and helps in patching the Linux kernel built by | |
| Buildroot with the Xenomai kernel part (ie Adeos/Ipipe). | |
| You can find the currently supported kernel versions by | |
| looking at the available patches in the Xenomai sources | |
| tree: ksrc/arch/$(ARCH)/patches | |
| However, it is recommended to use the latest version of the | |
| Adeos/Ipipe patch available at | |
| https://xenomai.org/downloads/ipipe/ | |
| Xenomai is know to support Blackfin, SH4, x86, ARM, NIOS2 | |
| and PowerPC architectures. | |
| config BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH | |
| string "Path/URL for Adeos patch file" | |
| depends on BR2_LINUX_KERNEL_EXT_XENOMAI | |
| help | |
| Optionally, explicitly specify where to find the Adeos | |
| patch to use. | |
| Examples: | |
| https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.19.33-arm-2.patch | |
| or /home/foo/ipipe-core-4.19.33-arm-2.patch | |
| Please verify that your kernel version in Buildroot matches. | |
| comment "xenomai needs a uClibc or glibc toolchain w/ threads" | |
| depends on BR2_PACKAGE_XENOMAI_COBALT_ARCH_SUPPORTS | |
| depends on BR2_USE_MMU | |
| depends on BR2_TOOLCHAIN_HAS_SYNC_4 | |
| depends on !BR2_TOOLCHAIN_HAS_THREADS || BR2_TOOLCHAIN_USES_MUSL | |
| #------------------------------------------------------------------------------- | |
| # RTAI | |
| config BR2_LINUX_KERNEL_EXT_RTAI | |
| bool "RTAI Real-time patch" | |
| depends on !BR2_LINUX_KERNEL_LATEST_VERSION | |
| depends on !BR2_LINUX_KERNEL_LATEST_CIP_VERSION | |
| depends on !BR2_LINUX_KERNEL_LATEST_CIP_RT_VERSION | |
| select BR2_PACKAGE_RTAI | |
| help | |
| RTAI Kernel part. | |
| # kernel extensions from br2-external trees, if any | |
| source "$BR2_BASE_DIR/.br2-external.in.linux" | |
| endmenu |