Could give me some guideline on how to locate the source code of the xenomai system calls.

[Richard Weinberger]

On Thu, Apr 16, 2020 at 2:45 PM 孙世龙 via Xenomai <xenomai at xenomai.org> wrote:
>
>      Could give me some guideline on how to locate the source code of
> the xenomai system calls.
>
>      I confirm that there is corresponding binary file after compiling
> the source code which include xenomai and linux.You can see the log
> listed below for detail.
>
>      What puzzled me is that i could not locate the corresponding source
> code.
>
>     For example.
>     The log to locate the system call named as cobalt_sched_yield.
>     $ grep -inr cobalt_sched_yield

Grep for COBALT_SYSCALL and sched_yield.

>     Binary file kernel/xenomai/built-in.o matches
>     Binary file kernel/xenomai/posix/xenomai.o matches
>     Binary file kernel/xenomai/posix/syscall.o matches
>     Binary file kernel/xenomai/posix/sched.o matches
>     Binary file kernel/xenomai/posix/built-in.o matches
>     Binary file kernel/built-in.o matches
>     Binary file vmlinux matches
>     Binary file .tmp_vmlinux2 matches
>     $ #log end
>
>     Look forward to hearing from you.
>     Best regards.



-- 
Thanks,
//richard