diff options
| -rw-r--r-- | util/sconfig/main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/sconfig/main.c b/util/sconfig/main.c index 2b1feda95e..9e44dc72ca 100644 --- a/util/sconfig/main.c +++ b/util/sconfig/main.c @@ -1923,6 +1923,7 @@ static void generate_outputh(FILE *f, const char *fw_conf_header, const char *de static void generate_outputc(FILE *f, const char *static_header) { + fprintf(f, "#include <boot/coreboot_tables.h>\n"); fprintf(f, "#include <device/device.h>\n"); fprintf(f, "#include <device/pci.h>\n"); fprintf(f, "#include <fw_config.h>\n"); |