#include <stdio.h>
#include <stdlib.h>

#include <irq.h>
#include <uart.h>
#include <hw/csr.h>
#include <hw/flags.h>

#include "dvisampler0.h"
#include "dvisampler1.h"

int main(void)
{
	irq_setmask(0);
	irq_setie(1);
	uart_init();
	
	puts("Minimal video mixer software built "__DATE__" "__TIME__"\n");
	
	timer0_reload_write(2*identifier_frequency_read());
	timer0_en_write(1);

	dvisampler0_init_video();
	fb_enable_write(1);
	while(1) dvisampler0_service();
	
	return 0;
}