Nios II freezes when printing double values/ does not print float values

Hi there,

I´m using the MAX10 Eval Board with a 10M08SAE144C8GES FPGA and an Nios II/f processor.

But when i try to print a float value the JTAG output just skips the value.

I´m using the Hallo_world_Small template:

# include <stdio.h># include "system.h"# include "sys/types.h"# include "altera_nios_custom_instr_floating_point_2.h"

int main ( void ) {

__uint64_t PI = 3.1415926535;

if(PI > 3.141592653) printf ("True\n");

printf("PI: %f" ,PI);

printf("Hello_World\n");

printf("Sizeof(PI) %d",sizeof(PI));

printf("Goodbye\n");

printf("\n");

}

OUTPUT:

PI: Hello_World

Sizeof(PI)

Seems that the processor freezes.

Any ideas on that?

Thank you very much!