usr/spawnd/main.c

57 /* open bootmodules file and read it in */
62     // open bootmodules file and read it in
64     err = vfs_open("/bootmodules", &vh);
66         USER_PANIC_ERR(err, "unable to open /bootmodules");
72         USER_PANIC_ERR(err, "unable to stat /bootmodules");
75     char *bootmodules = malloc(info.size + 1);
76     if (bootmodules == NULL) {
78                        "failed to allocate memory for bootmodules");
81     err = vfs_read(vh, bootmodules, info.size, &bootmodules_len);
83         USER_PANIC_ERR(err, "unable to read /bootmodules");
85         USER_PANIC_ERR(err, "/bootmodules is empty");
87         USER_PANIC_ERR(err, "unexpected short read of /bootmodules");
96     bootmodules[bootmodules_len] = '\0';
97     gbootmodules = bootmodules;
111     // read in the bootmodules file so that we know what to start