Jan Kiszka wrote:
> Hi Gilles,
> building the nucleus (SVN head) as a module for ARM (126.96.36.199,
> ipipe-1.7-06) fails due to undefined __check_kvm_seq. Not sure is anyone
> will choose such a setup on embedded systems, but who knows... Is this
> symbol actually required or just accidentally included?
It seems this symbol is used by switch_mm, so, we should export it in
the I-pipe patch.
Xenomai-core mailing list