From c7694c0f419ec54569d6595e216ba0238eaa1808 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Wed, 2 Apr 2025 15:30:30 +0200
Subject: fw/rv64: fix linker error.

---
 src/coreboot-start.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/coreboot-start.c b/src/coreboot-start.c
index 07606fc..c7b5094 100644
--- a/src/coreboot-start.c
+++ b/src/coreboot-start.c
@@ -27,13 +27,18 @@ extern void cb_start_rom(void);
 
 extern int cb_boot_processor_ready;
 
-/// @brief hardware thread counter.
+/// @brief hardware thread counter (rv64 only)
+#ifdef __riscv64__
+uint64_t __cb_hart_counter = 0UL;
+#endif
 
 /// @brief Start executing the firmware.
 /// @param
 void cb_start_exec(void)
 {
+#ifndef __riscv64__
 	static uint64_t __cb_hart_counter = 0UL;
+#endif
 
 	++__cb_hart_counter;
 
-- 
cgit v1.2.3