We never use 'dev' after fetching it from the varargs list. Skip the whole bother of fetching it, or setting up the meachinery to fetch it. Sponsored by: Netflix |
||
---|---|---|
.. | ||
test | ||
userboot | ||
userboot_4th | ||
userboot_lua | ||
Makefile | ||
Makefile.inc | ||
userboot.h |
We never use 'dev' after fetching it from the varargs list. Skip the whole bother of fetching it, or setting up the meachinery to fetch it. Sponsored by: Netflix |
||
---|---|---|
.. | ||
test | ||
userboot | ||
userboot_4th | ||
userboot_lua | ||
Makefile | ||
Makefile.inc | ||
userboot.h |