EK-TM4C1294XL and PWM module

Hi all,

I've purchased a connected launchpad with EK-TM4C1294XL.

I'm playing with the hello example, I've completed the Project 0 example and everithing in my toolchain seems to be working.

Next step  I would use the PWM but when I try to give clock to the PWM0 using

PWMClockSet(PWM0_BASE, PWM_SYSCLK_DIV_1); the program stops working, ideas?

main source:

Hi all,

I've purchased a connected launchpad with EK-TM4C1294XL.

I'm playing with the hello example, I've completed the Project 0 example and everithing in my toolchain seems to be working.

Next step  I would use the PWM but when I try to give clock to the PWM0 using 

PWMClockSet(PWM0_BASE, PWM_SYSCLK_DIV_1); the program stops working, ideas?

main source:
....
int main(void)
{
	// Run from the PLL at 120 MHz.
	g_ui32SysClock = MAP_SysCtlClockFreqSet((SYSCTL_XTAL_25MHZ |
			SYSCTL_OSC_MAIN | SYSCTL_USE_PLL |
			SYSCTL_CFG_VCO_480), 120000000);

	// Configure the device pins.
	PinoutSet(false, false);

	// Enable the GPIO pins for the LED D1 (PN1).
	ROM_GPIOPinTypeGPIOOutput(GPIO_PORTN_BASE, GPIO_PIN_1);

	// Initialize the UART.
	ConfigureUART();

    	// Set the PWM clock to the system clock.
    	//SysCtlPWMClockSet(SYSCTL_PWMDIV_16);   << I cannot use this as stated in tivaware manual
	PWMClockSet(PWM0_BASE, PWM_SYSCLK_DIV_1);	// << Without this I can read in the UART hello test
	//
	// Hello!
	//
	UARTprintf("Hello, Test %d!\n",g_ui32SysClock);

	while(1)
	{


	}
}