From dc862a9051ceeb85ac58693f935ecd495a2123a0 Mon Sep 17 00:00:00 2001
From: mwojcik <mw@m-labs.hk>
Date: Fri, 21 Oct 2022 12:08:11 +0800
Subject: [PATCH] match ident message with mainline

---
 src/runtime/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/src/main.rs b/src/runtime/src/main.rs
index a08c979..f7bca21 100644
--- a/src/runtime/src/main.rs
+++ b/src/runtime/src/main.rs
@@ -109,7 +109,7 @@ pub fn main_core0() {
     gic::InterruptController::gic(mpcore::RegisterBlock::mpcore()).enable_interrupts();
 
     init_gateware();
-    info!("detected gateware: {}", identifier_read(&mut [0; 64]));
+    info!("gateware ident: {}", identifier_read(&mut [0; 64]));
 
     i2c::init();