hello.c

#include <my_printf.h>
#include <leon-myuart.h>

int main(void)
{
  init_uart();

  printf("* Hello World\n\n");
  return 0;
}