#include "stm32l476xx.h"
#include "lib_ee115.h"

//*********************************************************************
// Lab #1 -- Blinky Disco on bare metal. 
//*********************************************************************

int main(void){
    // The default clock is 4MHz, which is more than fast enough for LEDs.
    // clock_setup_16MHz();		// 16 MHz
    // clock_setup_80MHz();		// 80 MHz

    // Setup for the red LED (GPIO port B, pin 2)
    init_red_LED();			// Set up the red LED.
    set_red_LED (1);			// Set it to initially be on

    // Dead loop & program hangs here
    while(1) {
	ms_delay (500);			// spin-wait loop for .5 sec
	toggle_red_LED();		// toggle the red LED
    }
}