79,6 → 79,32 |
return true; |
} |
|
static bool mount_devfs(void) |
{ |
int rc = -1; |
|
while (rc < 0) { |
rc = mount("devfs", "/dev", "null", "", IPC_FLAG_BLOCKING); |
|
switch (rc) { |
case EOK: |
printf(NAME ": Device filesystem mounted\n"); |
break; |
case EBUSY: |
printf(NAME ": Device filesystem already mounted\n"); |
break; |
case ELIMIT: |
printf(NAME ": Unable to mount device filesystem\n"); |
return false; |
case ENOENT: |
printf(NAME ": Unknown filesystem type (devfs)\n"); |
return false; |
} |
} |
|
return true; |
} |
|
static void spawn(char *fname) |
{ |
char *argv[2]; |
101,7 → 127,13 |
return -1; |
} |
|
// FIXME: spawn("/srv/pci"); |
spawn("/srv/devfs"); |
|
if (!mount_devfs()) { |
return(NAME ": Exiting\n"); |
return -2; |
} |
|
spawn("/srv/fb"); |
spawn("/srv/kbd"); |
spawn("/srv/console"); |