#include <stdio.h>
#include <console.h>
#include <shell.h>
int main(void)
{
console_init();
printf("TBM-dev (built on " __DATE__ ")\n");
cmd_loop("tbm # ");
return 0;
}