On Sun, 2007-02-25 at 00:18 +0000, Paul wrote:
> 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...
Thanks. 1.0-04 should fix both issues.
> Regards, Paul.
Xenomai-core mailing list