//! 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++);