#include "BSPSys.h"
#include "BspGPIO.h"
#include "BSPI2C.h"
#include "BSPUart.h"
#include "driverlib/gpio.h"
#include "driverlib/sysctl.h"
#include "inc/hw_memmap.h"
#include "inc/hw_ints.h"
static uint32_t g_usr_bsp_sysclock = 0;

void BspSysInit(void)
{
    
}

void BspSetSysClock(uint32_t clock)
{
    g_usr_bsp_sysclock = clock;
}

uint32_t BspGetSysClock(void)
{
    return g_usr_bsp_sysclock;
}

void BspRunLED(uint8_t enable)
{
    BspGPIOSetOutput(GPIO_PORTD_BASE, GPIO_PIN_1, enable);
    BspGPIOSetOutput(GPIO_PORTD_BASE, GPIO_PIN_0, !enable);
}