io su linux uso questo:
è un progetto eclipse, fatto per gcc-arm, notare che usa la FPU hardware e inizializza la pintf per stampare via usart, credo sui pin PA2 e PA3
/* Connect PXx to USARTx_Tx */
GPIO_PinAFConfig(GPIOA, GPIO_PinSource2, GPIO_AF_7);
/* Connect PXx to USARTx_Rx */
GPIO_PinAFConfig(GPIOA, GPIO_PinSource3, GPIO_AF_7);
occhio però che lavora a 3.3V, se domani sono abbastanza fresco monto la circuiteria per passareil segnale da 3.3V a 5V, poi in pasto all'FTDI e vediamo se funziona