ci: print kernel binary layout

xlab-uiuc · Jul 2, 2024 · 2d1e023 · 2d1e023
1 parent 5c8a263
commit 2d1e023
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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