add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/ptrace.c
..
..
@@ -854,10 +854,12 @@
854
854
 		if (unlikely(!arch_has_block_step()))
855
855
 			return -EIO;
856
856
 		user_enable_block_step(child);
857
+		inband_ptstep_notify(child);
857
858
 	} else if (is_singlestep(request) || is_sysemu_singlestep(request)) {
858
859
 		if (unlikely(!arch_has_single_step()))
859
860
 			return -EIO;
860
861
 		user_enable_single_step(child);
862
+		inband_ptstep_notify(child);
861
863
 	} else {
862
864
 		user_disable_single_step(child);
863
865
 	}