diff options
Diffstat (limited to 'drivers')
| -rw-r--r-- | drivers/serial/sandbox.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/drivers/serial/sandbox.c b/drivers/serial/sandbox.c index 0d65587f71..cae6c9411c 100644 --- a/drivers/serial/sandbox.c +++ b/drivers/serial/sandbox.c @@ -44,8 +44,7 @@ void serial_putc(const char ch) void serial_puts(const char *str) { - while (*str) - serial_putc(*str++); + os_write(1, str, strlen(str)); } int serial_getc(void) |