Searched refs:default_bootfiles (Results 1 – 1 of 1) sorted by relevance
46 static const char *default_bootfiles = "kernel"; variable282 spec = default_bootfiles; in getbootfile()