/*
*
* (c) 2004,2005 Laurent Vivier <Laurent@Vivier.EU>
*/
extern void console_putstring(const char *s);
extern int console_putchar(int c);
int puts(const char * s)
{
console_putstring(s);
console_putchar('\n');
return -1;
}