#include <stdint.h>
#include <stdbool.h>
#include "tm4c123gh6pm.h"

void GPIOIntHandler(void);
int main(void)
{
    SYSCTL_RCGC2_R |= 0x00000020;       /* enable clock to GPIOF */
    GPIO_PORTF_LOCK_R = 0x4C4F434B;     /* unlock commit register */
    GPIO_PORTF_CR_R = 0x11;             /* make PORTF0 PORTF4 CONFIGURABLE*/
    GPIO_PORTF_DEN_R = 0x1F;            /* set PORTF pins 5 pins*/
    GPIO_PORTF_DIR_R = 0x0E;            /* set PORTF0 PORTF4 pin as input user switch pin */
    GPIO_PORTF_PUR_R = 0x11;            /* PORTF4 PORT0 is pulled up */
    GPIO_PORTF_IM_R = 0x11;            /*Masking the ports*/
    GPIO_PORTF_IS_R = 0x00;
    GPIO_PORTF_IEV_R = 0x00;            /*detects the falling edge of the switch*/
    GPIO_PORTF_IBE_R = 0x00
}

while(1)
    {





    }