CC3220MOD: GPIO config and init

Hi community !

I'm debugging with a LAUNCHXL board freshly unpacked. While using only the GPIOs that were in the demo projects, everything is fine. When adding definitions for other GPIOs (in CC3220SF_LAUNCHXL.c / .h) the debugger everytime throws one of the 2 errors below after the call to GPIO_init(). If GPIO_init() is not called, everything is fine. See "main" below.

Error -1170 @ 0x0: Unable to access the DAP.

Error -242 @ 0x0: A router subpath could not be accessed.

int main(void) {

    /* Call board init functions */
    Board_initGeneral();
    
    /* Start NoRTOS */
    NoRTOS_start();

    GPIO_init();

    for(;;);
}

typedef enum CC3220SF_LAUNCHXL_GPIOName {
    // GPIO Inputs
    CC3220MODSF_SPI2UART_1_IRQ = 0,     // GPIO 08
    CC3220MODSF_SPI2UART_2_IRQ,         // GPIO 09
    CC3220MODSF_GPS_PPS,                // GPIO 05
    CC3220MODSF_PWR_SWITCH,             // GPIO 17
    CC3220MODSF_SOP_2,                  // GPIO 25
    CC3220MODSF_JTAG_TMS,               // GPIO 29
    CC3220MODSF_JTAG_TDI,               // GPIO 23
    // GPIO Outputs
    CC3220MODSF_SPI_CS1,            	// GPIO 22
    CC3220MODSF_SPI_CS2,                // GPIO 28
    CC3220MODSF_SPI2UART_RESET,         // GPIO 07
    CC3220MODSF_LED_CTRL_CLK,           // GPIO 12
    CC3220MODSF_LED_CTRL_DATA,          // GPIO 13
    CC3220MODSF_GPS_RESET,              // GPIO 06
    CC3220MODSF_GPS_BACKUP,             // GPIO 00
    CC3220MODSF_SYS_PWR_ON,             // GPIO 30
    CC3220MODSF_JTAG_TDO,               // GPIO 24

    CC3220SF_LAUNCHXL_GPIOCOUNT
} CC3220SF_LAUNCHXL_GPIOName;

GPIO_PinConfig gpioPinConfigs[] = {
	/* input pins with callbacks */
	GPIOCC32XX_GPIO_08 | GPIO_CFG_INPUT | GPIO_CFG_IN_INT_RISING,
	GPIOCC32XX_GPIO_09 | GPIO_CFG_INPUT | GPIO_CFG_IN_INT_RISING,
	GPIOCC32XX_GPIO_05 | GPIO_CFG_INPUT | GPIO_CFG_IN_INT_RISING,
	GPIOCC32XX_GPIO_17 | GPIO_CFG_INPUT | GPIO_CFG_IN_INT_RISING,
	GPIOCC32XX_GPIO_25 | GPIO_CFG_INPUT | GPIO_CFG_IN_INT_RISING,
	GPIOCC32XX_GPIO_29 | GPIO_CFG_INPUT | GPIO_CFG_IN_INT_RISING,
	GPIOCC32XX_GPIO_23 | GPIO_CFG_INPUT | GPIO_CFG_IN_INT_RISING,
	/* output pins with callbacks */
	GPIOCC32XX_GPIO_22 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_28 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_07 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_12 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_13 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_06 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_00 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_30 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
	GPIOCC32XX_GPIO_24 | GPIO_CFG_OUT_STD | GPIO_CFG_OUT_STR_HIGH | GPIO_CFG_OUT_LOW,
};

GPIO_CallbackFxn gpioCallbackFunctions[] = {
	NULL,  /* CC3220SF_LAUNCHXL_GPIO_SW2 */
	NULL,  /* CC3220SF_LAUNCHXL_GPIO_SW2 */
	NULL,  /* CC3220SF_LAUNCHXL_GPIO_SW2 */
	NULL,  /* CC3220SF_LAUNCHXL_GPIO_SW2 */
	NULL,  /* CC3220SF_LAUNCHXL_GPIO_SW2 */
	NULL,  /* CC3220SF_LAUNCHXL_GPIO_SW2 */
    NULL   /* CC3220SF_LAUNCHXL_GPIO_SW3 */
};

Thanks for your help !