src/arch/mock/putchar.c

#include <stdio.h>

#include "hf/dlog.h"

void arch_putchar(char c)
{
	putchar(c);
}