-extern int sysfs_mounted;
-extern asmlinkage long sys_access(const char * filename, int mode);
-extern asmlinkage long sys_umount(char __user * name, int flags);
-static char *kinit_command = "/sbin/kinit";
-
-static int __init kinit_setup(char *str)
-{
- kinit_command = str;
- return 1;
-}
-
-__setup("kinit=", kinit_setup);
-
-static int __init kinit_exec(void * shell)
-{
- static char *argv[] = { "kinit", NULL, };
- extern char * envp_init[];
-
- close(0);close(1);close(2);
- setsid();
- (void) open("/dev/console",O_RDWR,0);
- (void) dup(0);
- (void) dup(0);
- return execve(shell, argv, envp_init);
-}