From 2e3cb639258fcc63816e3e0f0c5ec468931bf2a4 Mon Sep 17 00:00:00 2001
From: Arthur Heymans <arthur@aheymans.xyz>
Date: Fri, 30 Jun 2023 15:01:08 +0200
Subject: acpi.c: Add functions to create GTDT

Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Change-Id: Ica6b2d79d61558706998edbbaee185125ff5b36c
Reviewed-on: https://review.coreboot.org/c/coreboot/+/76296
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com>
---
 src/acpi/Kconfig | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/acpi/Kconfig')

diff --git a/src/acpi/Kconfig b/src/acpi/Kconfig
index a45a68c45823..b3a87f9b5ffc 100644
--- a/src/acpi/Kconfig
+++ b/src/acpi/Kconfig
@@ -68,3 +68,9 @@ config ACPI_LPIT
 	depends on HAVE_ACPI_TABLES
 	help
 	  Selected by platforms that support and fill Intel Low Power Idle Table.
+
+config ACPI_GTDT
+	bool
+	depends on HAVE_ACPI_TABLES
+	help
+	  Selected by platforms that implement ARM generic timers
-- 
cgit v1.2.3