/usr/share/libxenomai-dev/examples/kernel/ is in libxenomai-dev 2.6.4+dfsg-0.2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/libxenomai-dev/examples/kernel/skins/
/usr/share/libxenomai-dev/examples/kernel/skins/native/
/usr/share/libxenomai-dev/examples/kernel/skins/native/Makefile
/usr/share/libxenomai-dev/examples/kernel/skins/native/latency.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/satch.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/bound_task.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/cond_var.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/event_flags.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/kernel_task.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/local_heap.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/msg_queue.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/mutex.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/pipe.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/semaphore.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/shared_mem.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/sigxcpu.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/user_alarm.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/user_irq.c
/usr/share/libxenomai-dev/examples/kernel/skins/native/snippets/user_task.c
/usr/share/libxenomai-dev/examples/kernel/skins/posix/
/usr/share/libxenomai-dev/examples/kernel/skins/posix/Kbuild
/usr/share/libxenomai-dev/examples/kernel/skins/posix/Makefile
/usr/share/libxenomai-dev/examples/kernel/skins/posix/accuracy.c
/usr/share/libxenomai-dev/examples/kernel/skins/psos+/
/usr/share/libxenomai-dev/examples/kernel/skins/psos+/Makefile
/usr/share/libxenomai-dev/examples/kernel/skins/psos+/satch.c
/usr/share/libxenomai-dev/examples/kernel/skins/vxworks/
/usr/share/libxenomai-dev/examples/kernel/skins/vxworks/Makefile
/usr/share/libxenomai-dev/examples/kernel/skins/vxworks/satch.c