#include <string.h>
#include <unistd.h>

extern void gilbraltar_serial_write(const char *, size_t);

int puts(const char *s)
{
    size_t len = strlen(s);
    gilbraltar_serial_write(s, len);
    return (int)(len); // We should never have a string length above MAX_INT, do we?
}

int putchar(int chr)
{
    gilbraltar_serial_write((char *) &chr, 1);
    return (1);
}