#include <stdio.h>

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

int main(void)
{
	console_init();
	cmd_loop("tbm # ");

	return 0;
}