Workflow

Set system clock source as DFLL:

#define CONFIG_SYSCLK_SOURCE       SYSCLK_SRC_DFLL 

Set DFLL source as OSC32K:

#define CONFIG_DFLL0_SOURCE        GENCLK_SRC_OSC32K 

Initialize the system clock:

sysclk_init();