if BR2_PACKAGE_XENOMAI
-config BR2_PACKAGE_XENOMAI_VERSION
- string "Custom Xenomai version"
+choice
+ bool "Xenomai version"
help
- Manually select Xenomai version. If left empty, the default
- version will be used.
-
Make sure that the selected version has a patch for your
- selected Linux kernel. If it does not, download and select
- a patch manually with
- BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH, in the Linux
- Kernel -> Linux Kernel Extensions menu.
+ selected Linux kernel. If it does not, download and select a
+ patch manually with BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH,
+ in the Linux Kernel -> Linux Kernel Extensions menu.
+
+config BR2_PACKAGE_XENOMAI_LATEST_VERSION
+ bool "Latest version (3.0.10)"
+
+config BR2_PACKAGE_XENOMAI_CUSTOM_VERSION
+ bool "Custom version"
+
+endchoice
+
+config BR2_PACKAGE_XENOMAI_VERSION
+ string "Custom Xenomai version" if !BR2_PACKAGE_XENOMAI_LATEST_VERSION
+ default "3.0.10" if BR2_PACKAGE_XENOMAI_LATEST_VERSION
choice
prompt "Xenomai core"
################################################################################
XENOMAI_VERSION = $(call qstrip,$(BR2_PACKAGE_XENOMAI_VERSION))
-ifeq ($(XENOMAI_VERSION),)
-XENOMAI_VERSION = 3.0.10
-else
+XENOMAI_SOURCE = xenomai-$(XENOMAI_VERSION).tar.bz2
+XENOMAI_SITE = http://xenomai.org/downloads/xenomai/stable
+
+# Exclude all from the hash check, but the latest version.
+ifeq ($(BR2_PACKAGE_XENOMAI)$(BR2_PACKAGE_XENOMAI_LATEST_VERSION),y)
BR_NO_CHECK_HASH_FOR += $(XENOMAI_SOURCE)
endif
-XENOMAI_SITE = http://xenomai.org/downloads/xenomai/stable
-XENOMAI_SOURCE = xenomai-$(XENOMAI_VERSION).tar.bz2
XENOMAI_LICENSE = GPL-2.0+ with exception (headers), LGPL-2.1+ (libraries), GPL-2.0+ (kernel), GFDL-1.2+ (docs), GPL-2.0 (ipipe patch, can driver)
# GFDL is not included but refers to gnu.org
XENOMAI_LICENSE_FILES = debian/copyright include/COPYING kernel/cobalt/COPYING \