rem: argv[0] = "/bin/shell";
add: argv[0] = "/bin/sh";
context: main(void){	int err;	err = start_console(&theconsole);	if (err < 0) {		printf("consoled: error %d starting console\n", err);		return err;	}	// we're a session leader	setsid();	// move our stdin and stdout to the console	dup2(theconsole.tty_slave_fd, 0);	dup2(theconsole.tty_slave_fd, 1);	dup2(theconsole.tty_slave_fd, 2);	for (;;) {		pid_t shell_process;		status_t retcode;		const char *argv[3];		argv[0] = "/bin/shell";//		argv[1] = "-s";//		argv[2] = "/boot/loginscript";		shell_process = start_process(1, argv, &theconsole);		wait_for_thread(shell_process, &retcode);		puts("Restart shell");	}	acquire_sem(theconsole.wait_sem);	return 0;}