From 5b5b2dbc97085af09d1f6c00501bc9f639bf0af9 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Sat, 13 Apr 2024 09:34:00 -0600
Subject: [PATCH] Debug messages during device init

---
 src/arch/x86_shared/device/mod.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/arch/x86_shared/device/mod.rs b/src/arch/x86_shared/device/mod.rs
index dd2f0903cb..065cf40b1f 100644
--- a/src/arch/x86_shared/device/mod.rs
+++ b/src/arch/x86_shared/device/mod.rs
@@ -42,6 +42,7 @@ unsafe fn init_hpet() -> bool {
 }
 
 pub unsafe fn init_noncore() {
+    log::info!("Initializing system timer");
     if init_hpet() {
         log::info!("HPET used as system timer");
     } else {
@@ -49,8 +50,11 @@ pub unsafe fn init_noncore() {
         log::info!("PIT used as system timer");
     }
 
+    log::info!("Initializing RTC");
     rtc::init();
+    log::info!("Initializing serial");
     serial::init();
+    log::info!("Finished initializing devices");
 }
 
 pub unsafe fn init_ap() {