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