On Sunday 25 February 2007 00:15, Paul wrote:
> Hi Philippe
> On Saturday 24 February 2007 22:46, Philippe Gerum wrote:
> > Added to the fact that I've just fixed the CONFIG_SMP
> > +CONFIG_PREEMPT issue , what remains to get a fully functional
> > preliminary x86_64 port is to solve the CONFIG_SMP+CONFIG_IPIPE_TRACE,
> > and we should be done.
> If CONFIG_PREEMPT is not enabled, the kernel compile fails with:
> arch/x86_64/kernel/built-in.o: In function `__ipipe_preempt_schedule_irq':
> arch/x86_64/kernel/ipipe.c:471: undefined reference to
> `preempt_schedule_irq' make: *** [.tmp_vmlinux1] Error 1
> make: Leaving directory `/var/tmp/linux-22.214.171.124'
> make: *** [debian/stamp-build-kernel] Error 2
> The attached patch addresses the problem..
Scrub that - It exposes another problem in thunk.S which I missed...
Xenomai-core mailing list