Gilles Chanteperdrix wrote:
For review...+#ifndef __KERNEL__ +#include <stdio.h> +#include <stdlib.h> +#include <string.h> +#include <unistd.h> + +static inline void xeno_x86_features_check(void) +{ +#ifdef CONFIG_XENO_X86_SEP + size_t n = confstr(_CS_GNU_LIBPTHREAD_VERSION, NULL, 0); + if (n > 0) + {
since this is user code, its possible to read /proc/cpuinfo, and find the sep flag. Is this worth doing also ? if so, I can work a patch up later, unless you feel the urge. _______________________________________________ Xenomai-core mailing list [email protected] https://mail.gna.org/listinfo/xenomai-core
