/* * write one character to console */ int putchar(int c) { if ( c == '\t' ) { for (c = 0; c < 8; c++) bios_putchar(' '); return c; } if ( c == '\n' ) { bios_putchar('\r'); } bios_putchar(c); return c; }
void __attribute__((section(".inittext"))) putchar(int ch) { if (ch == '\n') putchar('\r'); /* \n -> \r\n */ bios_putchar(ch); if (early_serial_base != 0) serial_putchar(ch); }