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