#include <stdio.h>

#include <console.h>
#include <gpio.h>
#include <rcc.h>
#include <shell.h>

int main(void)
{
	rcc_init();
	gpio_init();
	console_init();
	printf("TBM-dev (built on " __DATE__ ")\n");
	cmd_loop("tbm # ");

	return 0;
}