Searched defs:gbootmodules (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/startd/ | ||
| H A D | main.c | 40 const char *gbootmodules; variable |
| /barrelfish-master/usr/spawnd/ | ||
| H A D | main.c | 33 const char *gbootmodules; variable |
Completed in 31 milliseconds