Hi.

I'm having problems building the user space for Xenomai 2.6.1 (for
AT91SAM9G20).
Long story short, I issue the following commands:

$ ./configure CFLAGS="-march=armv4t" LDFLAGS="-march=armv4t"
--host=arm-linux-gnueabi  --enable-arm-tsc=at91

$ make DESTDIR=../xenomai_dest  install

Here's a snippet of the error messages:
******************************************
In file included from ../../../src/include/asm/xenomai/atomic.h:276,
                 from ../../../include/nucleus/system.h:26,
                 from ../../../src/include/asm/xenomai/system.h:247,
                 from ../../../include/nucleus/types.h:36,
                 from ../../../include/nucleus/thread.h:25,
                 from assert_context.c:24:
../../../src/include/asm/xenomai/syscall.h: In function '__xn_rdtsc':
../../../src/include/asm/xenomai/syscall.h:290: error: 'struct
__xn_full_tscinfo' has no member named 'tsc'
../../../src/include/asm/xenomai/syscall.h:291: error: 'struct
__xn_full_tscinfo' has no member named 'counter'
../../../src/include/asm/xenomai/syscall.h:292: error: 'struct
__xn_full_tscinfo' has no member named 'mask'
******************************************

If I don't choose TSC emulation for ARM, everything compiles fine.


Thank you.


_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to