diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-04-02 15:35:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-02 15:35:19 +0200 |
| commit | ab54bcd5bee32eeb5e182ffff4e8bb187e875aa0 (patch) | |
| tree | e7505b27850201450eb3528006c440638f1241ce /src/coreboot-start.c | |
| parent | f42ce43556475acb576fa926f685128d1dccf64b (diff) | |
| parent | a113f91c6be56c3f39fc7680ec7f5c814d4d2c27 (diff) | |
Merge pull request #2 from amlel-el-mahrouss/dev
add: rv64 CI, and copyright updates.
Diffstat (limited to 'src/coreboot-start.c')
| -rw-r--r-- | src/coreboot-start.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/coreboot-start.c b/src/coreboot-start.c index 07606fc..cfcc668 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 __COMPILE_RISCV__ +uint64_t __cb_hart_counter = 0UL; +#endif /// @brief Start executing the firmware. /// @param void cb_start_exec(void) { +#ifndef __COMPILE_RISCV__ static uint64_t __cb_hart_counter = 0UL; +#endif ++__cb_hart_counter; |