[email protected] wrote: > Dear > > I am trying to install Xenomai under Ubuntu 8.10: > > I have used linux kernel 2.6.28.7 and Xenomai 2.4.7. > > During the kernel compilation I have the following error > > arch/x86/kernel/ipipe.c: In function ‘__ipipe_divert_exception’: > arch/x86/kernel/ipipe.c:710: error: ‘ex_device_not_available’ undeclared > (first use in this function) > arch/x86/kernel/ipipe.c:710: error: (Each undeclared identifier is reported > only once > arch/x86/kernel/ipipe.c:710: error: for each function it appears in.) > make[1]: *** [arch/x86/kernel/ipipe.o] Error 1 > make: *** [arch/x86/kernel] Error 2 >
Switch off CONFIG_KGDB. > I have seen that ex_device_not_available is missed but the kernel > compilation terminates with no errors if I use ex_do_device_not_available > instead of ex_device_not_available. > > Any suggestion? > > I link my .config file. > > Thanks in advance > > Stefano > > (See attached file: .config) > > > ------------------------------------------------------------------------ > > _______________________________________________ > Xenomai-help mailing list > [email protected] > https://mail.gna.org/listinfo/xenomai-help _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
