smol-gilbraltar/kernel/printf.c

#include <stdarg.h>
#include <stdio.h>

int printf(const char *restrict fmt, ...) {
  int ret;
  va_list ap;
  va_start(ap, fmt);
  ret = vfprintf(stdout, fmt, ap);
  va_end(ap);
  return ret;
}