CC3200 Lunchpad Board LEDs 1 and 2 don'

Hi. I've got a problem to control the Board LEDs 1 and 2 with TI RTOS:

I was doing a lap season to toggle LEDs with the RTOS Timer. But the board LEDs 1 and 2 (D5 and D6) doesn't respond any time. D7 is fine

Also a break point before starting the bios doesn't turn of the LEDs.

Can you advice what's wrong?

/* XDCtools Header files */
#include <xdc/std.h>
#include <xdc/cfg/global.h>
#include <xdc/runtime/System.h>

/* BIOS Header files */
#include <ti/sysbios/BIOS.h>

/* TI-RTOS Header files */
#include <ti/drivers/GPIO.h>


/* Example/Board Header files */
#include "Board.h"

/*
 *  ======== ledToggle ========
 *  Toggle the Board_LED0. This is the fucntion called by the Clock module
 *
 *  */

Void led0Toggle(void)
{
    GPIO_toggle(Board_LED0);
}

/*
 *  ======== ledToggle ========
 *  Toggle the Board_LED1. This is the fucntion called by the Clock module
 *
 *  */

Void led1Toggle(void)
{
    GPIO_toggle(Board_LED1);
}



/*
 *  ======== main ========
 */
int main(void)
{
    /* Call board init functions. */
    Board_initGeneral();
    Board_initGPIO();
    

    /* Turn on user LED */
    GPIO_write(Board_LED0, Board_LED_OFF);
    GPIO_write(Board_LED1, Board_LED_OFF);
    GPIO_write(Board_LED2, Board_LED_OFF);

    System_printf("Starting the example\nSystem provider is set to SysMin. "
                  "Halt the target to view any SysMin contents in ROV.\n");
    /* SysMin will only print to the console when you call flush or exit */
    System_flush();

    /* Start BIOS */
    BIOS_start();

    return (0);
}