extern char bootdev[];
extern char unixname[];
