SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOC);\r
     GPIODirModeSet(GPIO_PORTC_BASE, mainPUSH_BUTTON, GPIO_DIR_MODE_IN);\r
        GPIOIntTypeSet( GPIO_PORTC_BASE, mainPUSH_BUTTON,GPIO_FALLING_EDGE );\r
+       IntPrioritySet( INT_GPIOC, configKERNEL_INTERRUPT_PRIORITY );\r
        GPIOPinIntEnable( GPIO_PORTC_BASE, mainPUSH_BUTTON );\r
        IntEnable( INT_GPIOC );\r
 \r
 \r
        /* Enable Tx interrupts. */\r
        HWREG( UART0_BASE + UART_O_IM ) |= UART_INT_TX;\r
+       IntPrioritySet( INT_UART0, configKERNEL_INTERRUPT_PRIORITY );\r
        IntEnable( INT_UART0 );\r
 \r
 \r