#include #include #include #include #include #include SYSCALL_DEF(write) { SYSCALL_INIT(int, fd, void *, buffer, size_t, nbyte); if(fd == 1) { debugn(buffer, nbyte); return nbyte; } return 0; }