doc/Flash-boot-defect article removed (no longer relevant) This article is no longer relevant because the issue in question only affected one (1) defective FCDEV3B board which was not and never will be sold.

#include <stdarg.h>

extern void putchar();

int
printf(char *fmt, ...)
{
	va_list ap;
	int len;

	va_start(ap, fmt);
	len = _doprnt(fmt, ap, &putchar);
	va_end(ap);
	return(len);
}