#include <led.h>
#include <timer.h>

/* The kernel should start and the LED should blink.
 * The time between blinks should be "fairly" long (around 1s).
 */

void main(void) {
  while (1) {
    gilbraltar_led(false);
    gilbraltar_delay_hot_loop(0x3f0000);
    gilbraltar_led(true);
    gilbraltar_delay_hot_loop(0x3f0000);
  }
}