static int _env_create(vps_handler *h, envid_t veid, int wait_p, int err_p,
        void *data)
{
---<snip>---
char *argv[] = {"init", "-z", "      ", NULL};
char *envp[] = {"HOME=/", "TERM=linux", NULL};
---<snip>---
logger(10, 0, "Starting init");
execve("/sbin/init", argv, envp);
execve("/etc/init", argv, envp);
execve("/bin/init", argv, envp);
---<snip>---
}

static void run_init_process(char *init_filename)
{
        argv_init[0] = init_filename;
        execve(init_filename, argv_init, envp_init);
}

static int noinline init_post(void)
{
---<snip>---
run_init_process("/sbin/init");       run_init_process("/etc/init");
run_init_process("/bin/init");
run_init_process("/bin/sh");

panic("No init found.  Try passing init= option to kernel.");
}