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