mknod 20 user/init.c mknod("console", CONSOLE, 0); mknod 14 user/user.h int mknod(const char*, short, short);