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