Jim Cromie wrote:
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 ?

Some deeply embedded stuff (something like buried in the silicon actually...) might configure out CONFIG_PROC_FS, so we can't rely on this pseudo-fs to be always present.

if so, I can work a patch up later, unless you feel the urge.

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core



--

Philippe.

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to