//! EE SIO implementation
#include <shared/sio.h>

void SIO_putc(char c) {
	*((char*)0x1000f180) = c;
}

void SIO_puts(const char* s) {
	while(*s)
		SIO_putc(*s++);
}