I solved the problem of the shared memory cannot be allocated in the user
Because the shared memory space are allocated from the kheap, but the kheap is
not a mapped heap, i.e. its pages are not reserved.
I init the kheap by xnheap_init_mapped rather than xnheap_init. The problem is
If there is a need, I can submit the patch to Xenomai.
Xenomai-core mailing list