The cirros image was rebuilt against the 3.13.0-83 kernel, drivers e1000e, igbvf...
[packages/trusty/cirros-testvm.git] / cirros-testvm / src-cirros / buildroot-2015.05 / linux / linux-ext-xenomai.mk
diff --git a/cirros-testvm/src-cirros/buildroot-2015.05/linux/linux-ext-xenomai.mk b/cirros-testvm/src-cirros/buildroot-2015.05/linux/linux-ext-xenomai.mk
new file mode 100644 (file)
index 0000000..76a9786
--- /dev/null
@@ -0,0 +1,24 @@
+################################################################################
+# Linux Adeos/Xenomai extensions
+#
+# Patch the linux kernel with xenomai extension
+################################################################################
+
+LINUX_EXTENSIONS += xenomai
+
+# Adeos patch version
+XENOMAI_ADEOS_PATCH = $(call qstrip,$(BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH))
+ifeq ($(XENOMAI_ADEOS_PATCH),)
+XENOMAI_ADEOS_OPTS = --default
+else
+XENOMAI_ADEOS_OPTS = --adeos=$(XENOMAI_ADEOS_PATCH)
+endif
+
+# Prepare kernel patch
+define XENOMAI_PREPARE_KERNEL
+       $(XENOMAI_DIR)/scripts/prepare-kernel.sh \
+               --linux=$(LINUX_DIR) \
+               --arch=$(KERNEL_ARCH) \
+               $(XENOMAI_ADEOS_OPTS) \
+               --verbose
+endef