init.c

Go to the documentation of this file.

 
#include <stdio.h>
#include <syscall.h>
int
main(int argc, const char *argv[])
{
    uint64_t status;
 
    fputs("Init spawning shell\n", stdout);
 
    const char *args[] = { "/bin/shell", NULL };
    status = OSSpawn("/bin/shell", &args[0]);
    if (status > 100) {
        printf("init: Could not spawn shell %016lx\n", status);
    }
 
#if 0
    while (1) {
        status = OSWait(0);
        printf("init: Zombie process exited (%016lx)\n", status);
    }
#else
    for (;;)
            ;
#endif
}