From 5cd979efb57de8f5ad04e7e4a9dec89f4ac55d47 Mon Sep 17 00:00:00 2001
From: Tim Wawrzynczak <twawrzynczak@chromium.org>
Date: Tue, 14 Sep 2021 14:09:20 -0600
Subject: [PATCH] util/sconfig: Update static.c to include
 boot/coreboot_tables.h

This allows the devicetree to directly access names defined in the
coreboot tables API.

BUG=b:194967458
BRANCH=dedede

Change-Id: Ieb2d00095f54b2363a21f9c5ef8205110a36f746
Signed-off-by: Tim Wawrzynczak <twawrzynczak@chromium.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/57648
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>
Reviewed-by: Karthik Ramasubramanian <kramasub@google.com>
---
 util/sconfig/main.c | 1 +
 1 file changed, 1 insertion(+)

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");