From 2d1e023a9edafe58d94c221c2179f1a281811096 Mon Sep 17 00:00:00 2001
From: Wentao Zhang <zhangwt1997@gmail.com>
Date: Mon, 1 Jul 2024 21:47:46 -0500
Subject: [PATCH] ci: print kernel binary layout

---
 .github/workflows/llvm-18.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/llvm-18.yml b/.github/workflows/llvm-18.yml
index e36dc41..b960142 100644
--- a/.github/workflows/llvm-18.yml
+++ b/.github/workflows/llvm-18.yml
@@ -88,6 +88,9 @@ jobs:
       run: |
         cat /tmp/time.log
         du -sh $MCDC_HOME/linux
+    - name: Print kernel binary layout
+      run: |
+        llvm-readelf --sections -W $MCDC_HOME/linux/vmlinux
 
   boot_kernel_and_collect_coverage:
     name: 5. Boot the kernel and collect coverage