#include "dfltboot.h"
char bootdev[] = "d67(0,19200)";
char unixname[] = "unix";