rtai安装问题

我按照rtai的安装说明的步骤进行：
# patch -p1<../rtai-3.7/base/arch/x86/patches/hal-linux-2.6.28.7-x86-2.2.06.patch
然后出来如下内容：
patching file Makefile
patching file arch/x86/Kconfig
patching file arch/x86/Makefile
patching file arch/x86/boot/Makefile
patching file arch/x86/boot/compressed/Makefile
patching file arch/x86/include/asm/apic.h
patching file arch/x86/include/asm/apicdef.h
patching file arch/x86/include/asm/hw_irq.h
patching file arch/x86/include/asm/i387.h
patching file arch/x86/include/asm/i8259.h
patching file arch/x86/include/asm/ipi.h
patching file arch/x86/include/asm/ipipe.h
patching file arch/x86/include/asm/ipipe_32.h
patching file arch/x86/include/asm/ipipe_64.h
patching file arch/x86/include/asm/ipipe_base.h
patching file arch/x86/include/asm/ipipe_base_32.h
patching file arch/x86/include/asm/ipipe_base_64.h
patching file arch/x86/include/asm/irq_vectors.h
patching file arch/x86/include/asm/irqflags.h
patching file arch/x86/include/asm/mmu_context.h
patching file arch/x86/include/asm/nmi.h
patching file arch/x86/include/asm/processor.h
patching file arch/x86/include/asm/system.h
patching file arch/x86/include/asm/unistd_32.h
patching file arch/x86/include/asm/unistd_64.h
patching file arch/x86/kernel/Makefile
patching file arch/x86/kernel/apic.c
patching file arch/x86/kernel/cpu/common.c
patching file arch/x86/kernel/cpu/mtrr/cyrix.c
patching file arch/x86/kernel/cpu/mtrr/generic.c
patching file arch/x86/kernel/dumpstack_32.c
patching file arch/x86/kernel/dumpstack_64.c
patching file arch/x86/kernel/entry_32.S
patching file arch/x86/kernel/entry_64.S
patching file arch/x86/kernel/genapic_flat_64.c
patching file arch/x86/kernel/head64.c
patching file arch/x86/kernel/i8253.c
patching file arch/x86/kernel/i8259.c
patching file arch/x86/kernel/io_apic.c
patching file arch/x86/kernel/ipi.c
patching file arch/x86/kernel/ipipe.c
patching file arch/x86/kernel/irq.c
patching file arch/x86/kernel/irqinit_32.c
patching file arch/x86/kernel/irqinit_64.c
patching file arch/x86/kernel/mcount_32.S
patching file arch/x86/kernel/mcount_64.S
patching file arch/x86/kernel/nmi.c
patching file arch/x86/kernel/process.c
patching file arch/x86/kernel/process_32.c
patching file arch/x86/kernel/process_64.c
patching file arch/x86/kernel/smp.c
patching file arch/x86/kernel/smpboot.c
patching file arch/x86/kernel/time_32.c
patching file arch/x86/kernel/tlb_32.c
patching file arch/x86/kernel/tlb_64.c
patching file arch/x86/kernel/traps.c
patching file arch/x86/kernel/vm86_32.c
patching file arch/x86/lib/mmx_32.c
patching file arch/x86/lib/thunk_64.S
patching file arch/x86/mm/fault.c
patching file drivers/acpi/processor_idle.c
patching file drivers/pci/htirq.c
patching file drivers/serial/8250.c
patching file include/asm-generic/cmpxchg-local.h
patching file include/linux/hardirq.h
patching file include/linux/ipipe.h
patching file include/linux/ipipe_base.h
patching file include/linux/ipipe_compat.h
patching file include/linux/ipipe_percpu.h
patching file include/linux/ipipe_tickdev.h
patching file include/linux/ipipe_trace.h
patching file include/linux/irq.h
patching file include/linux/kernel.h
patching file include/linux/linkage.h
patching file include/linux/mm.h
patching file include/linux/preempt.h
patching file include/linux/sched.h
patching file include/linux/spinlock.h
patching file include/linux/spinlock_types.h
patching file init/Kconfig
patching file init/main.c
patching file kernel/Makefile
patching file kernel/exit.c
patching file kernel/fork.c
patching file kernel/ipipe/Kconfig
patching file kernel/ipipe/Kconfig.debug
patching file kernel/ipipe/Makefile
patching file kernel/ipipe/core.c
patching file kernel/ipipe/tracer.c
patching file kernel/irq/chip.c
patching file kernel/irq/handle.c
patching file kernel/lockdep.c
patching file kernel/panic.c
patching file kernel/power/disk.c
patching file kernel/printk.c
patching file kernel/sched.c
patching file kernel/signal.c
patching file kernel/spinlock.c
patching file kernel/time/tick-common.c
patching file kernel/time/tick-sched.c
patching file kernel/timer.c
patching file kernel/trace/Kconfig
patching file lib/Kconfig.debug
patching file lib/bust_spinlocks.c
patching file lib/ioremap.c
patching file lib/smp_processor_id.c
patching file lib/spinlock_debug.c
patching file mm/memory.c
patching file mm/mlock.c
patching file mm/vmalloc.c
没有报错，不过按照安装说明上所说的，安装了patch之后应该在内核配置的时候会有一项adeos support,但是我怎么也找不到，
make了之后，报错如下
arch/x86/kernel/ipipe.c: In function ‘__ipipe_divert_exception’:
arch/x86/kernel/ipipe.c:707: error: ‘ex_device_not_available’ undeclared (first use in this function)
arch/x86/kernel/ipipe.c:707: error: (Each undeclared identifier is reported only once
arch/x86/kernel/ipipe.c:707: error: for each function it appears in.)
make[1]: *** [arch/x86/kernel/ipipe.o] Error 1
make: *** [arch/x86/kernel] Error 2
这个问题该怎么解决，谁能救救我啊！