#include "usr_bsp_sys.h"
#include "usr_bsp_gpio.h"
#include "usr_bsp_uart.h"
#include "usr_bsp_i2c.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 usr_bsp_sys_init(void)
{
    
}

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

uint32_t usr_bsp_get_sysclock(void)
{
    return g_usr_bsp_sysclock;
}

void bsp_run_led(uint8_t enable)
{
    usr_bsp_gpio_set_output(GPIO_PORTD_BASE, GPIO_PIN_1, enable);
    usr_bsp_gpio_set_output(GPIO_PORTD_BASE, GPIO_PIN_0, !enable);
}