diff --git a/hermit/kernel/syscall.c b/hermit/kernel/syscall.c index d204ec546..77dc04c03 100644 --- a/hermit/kernel/syscall.c +++ b/hermit/kernel/syscall.c @@ -34,12 +34,15 @@ static int sys_write(int fd, const char* buf, size_t len) { + size_t i; + //TODO: Currently, we ignore the file descriptor if (BUILTIN_EXPECT(!buf, 0)) return -1; - kputs(buf); + for(i=0; i