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