FIXED: - the macro SUB_PROG_CFLAGS was overwritten for 64bit machines using gcc. Because of this the xenomai compilation failed.

Ici, on met ce qui est spécifique à la carte et au type de processeur :
l'organisation de la mémoire