Symbol: DEFAULT_BOOTFILE
sys/arch/evbarm/stand/boot2440/main.c
70
#if defined(DEFAULT_BOOTFILE)
sys/arch/evbarm/stand/boot2440/main.c
71
static char *default_boot=STR(DEFAULT_BOOTFILE);
sys/arch/mipsco/stand/installboot/installboot.c
120
do_remove(disk, argc==2?argv[1]:DEFAULT_BOOTFILE);
sys/arch/mipsco/stand/installboot/installboot.c
122
do_install(disk, argv[1], argc==3?argv[2]:DEFAULT_BOOTFILE);