diff --git a/tasks/mm0/src/execve.c b/tasks/mm0/src/execve.c index 30a8163..631628f 100644 --- a/tasks/mm0/src/execve.c +++ b/tasks/mm0/src/execve.c @@ -341,7 +341,7 @@ int sys_execve(struct tcb *sender, char *pathname, char *argv[], char *envp[]) /* Copy the executable path string */ if ((ret = copy_user_string(sender, path, pathname, PATH_MAX)) < 0) return ret; - printf("%s: Copied pathname: %s\n", __FUNCTION__, path); + // printf("%s: Copied pathname: %s\n", __FUNCTION__, path); /* Copy the args */ if (argv && ((ret = copy_user_args(sender, &args, argv, ARGS_MAX)) < 0)) diff --git a/tasks/mm0/src/task.c b/tasks/mm0/src/task.c index 47967b6..e069db0 100644 --- a/tasks/mm0/src/task.c +++ b/tasks/mm0/src/task.c @@ -633,7 +633,8 @@ int task_start(struct tcb *task) }; /* Start the thread */ - printf("%s: Starting task with thread id: %d, space id: %d\n", __TASKNAME__, task->tid, task->spid); + // printf("%s: Starting task with thread id: %d, space id: %d\n", + // __TASKNAME__, task->tid, task->spid); if ((err = l4_thread_control(THREAD_RUN, &ids)) < 0) { printf("l4_thread_control failed with %d\n", err); return err;