CCS/MSP432P401R: Project zero example UART problem

Tool/software: Code Composer Studio

Hi! I'm new to TI and I bought an MSP432P401R. I followed the Introduction and copied the proposed code without changes (TI Driver Project Zero) and it works until the part 5-Add UART print.

In fact when the program reaches 

Display_printf(displayHandle, 1, 0, "ADC Reading %d", adcValue);

it raises an exception after has printed the first character on the serial COM console. I tried also with the function UART_write() in the uartecho sample project on TICloud, but I got the same results. 

UART_read(), instead, works well. It seems that COM ports are able to receive but not send data. 

How can I do to solve my problem?

Here's the complete code:

  /*
   *  ======== empty.c ========
   */

  /* For usleep() */
  #include <unistd.h>
  #include <stdint.h>
  #include <stddef.h>

  /* Driver Header files */
  #include <ti/drivers/GPIO.h>
  #include <ti/drivers/ADC.h>
  #include <ti/display/Display.h>
  // #include <ti/drivers/I2C.h>
  // #include <ti/drivers/SDSPI.h>
  // #include <ti/drivers/SPI.h>
  // #include <ti/drivers/UART.h>
  // #include <ti/drivers/Watchdog.h>

  /* Board Header file */
  #include "Board.h"

  /* global variableS FOR GUI COMPOSER */
  uint16_t adcValue = 0;
  uint16_t threshold = 100;
  uint16_t trigger = 0;

  /*
   *  ======== mainThread ========
   */

  void *mainThread(void *arg0)
  {
    /* ~10 loops/second */
    uint32_t time = 100000;  // update ~10/second

    /* Call driver init functions */
    GPIO_init();
    ADC_init();
    // I2C_init();
    // SDSPI_init();
    // SPI_init();
    // UART_init();
    // Watchdog_init();

    /* Open Display Driver */
    Display_Handle    displayHandle;
    Display_Params    displayParams;
    Display_Params_init(&displayParams);
    displayHandle = Display_open(Display_Type_UART, NULL);

    /* Open ADC Driver */
    ADC_Handle adc;
    ADC_Params params;
    ADC_Params_init(&params);
    adc = ADC_open(Board_ADC0, &params);
    if (adc == NULL) {
        // Error initializing ADC channel 0
        while (1);
    }

    while (1) {
      int_fast16_t res;
      res = ADC_convert(adc, &adcValue);
      if (res == ADC_STATUS_SUCCESS) {
        Display_printf(displayHandle, 1, 0, "ADC Reading %d", adcValue);
        if(adcValue >= threshold){
          GPIO_write(Board_GPIO_LED0, Board_GPIO_LED_ON);
          trigger = 1;
        } else{
          GPIO_write(Board_GPIO_LED0, Board_GPIO_LED_OFF);
          trigger = 0;
        }
      }

      usleep(time);
    }
  }

Thank you