add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/lib/usercopy.c
..
..
@@ -18,7 +18,7 @@
18
18
 {
19
19
 	unsigned long ret;
20
20
 
21
-	if (__range_not_ok(from, n, TASK_SIZE))
21
+	if (running_oob() || __range_not_ok(from, n, TASK_SIZE))
22
22
 		return n;
23
23
 
24
24
 	if (!nmi_uaccess_okay())