diff --git a/tools/fdtgrep.c b/tools/fdtgrep.c index e4112b8f69..0925822940 100644 --- a/tools/fdtgrep.c +++ b/tools/fdtgrep.c @@ -1231,6 +1231,10 @@ int main(int argc, char *argv[]) disp.fout = stdout; } + /* include symbol table */ + if (value_add(&disp, &disp.value_head, FDT_IS_NODE, 1, "/__symbols__")) + usage("Cannot add __symbols__ value"); + /* Run the grep and output the results */ ret = do_fdtgrep(&disp, filename); if (disp.output_fname)