osd-contiki/cpu/arm/at91sam7s/uip-log.c

#include <stdio.h>

void uip_log(char *msg)
{
  printf("uip: %s\n", msg);
}