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)
+  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

Reply via email to