Merge pull request #596 from msft-jlange/region_info

stage2: print SVSM region in hex
coconut-svsm · Jan 22, 2025 · 698fe88 · 698fe88
2 parents 286ac39 + 85cc0aa
commit 698fe88
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/kernel/src/stage2.rs b/kernel/src/stage2.rs
@@ -363,7 +363,11 @@ pub extern "C" fn stage2_main(launch_info: &Stage2LaunchInfo) {
         .find_kernel_region()
         .expect("Failed to find memory region for SVSM kernel");
 
-    log::info!("SVSM memory region: {kernel_region:?}");
+    log::info!(
+        "SVSM memory region: start={:#018x}, end={:#018x}",
+        u64::from(kernel_region.start()),
+        u64::from(kernel_region.end())
+    );
 
     init_valid_bitmap_alloc(kernel_region).expect("Failed to allocate valid-bitmap");