diff --git a/01_wait_forever/Makefile b/01_wait_forever/Makefile
index dd8df8df..c9ee53d0 100644
--- a/01_wait_forever/Makefile
+++ b/01_wait_forever/Makefile
@@ -79,7 +79,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/02_runtime_init/Makefile b/02_runtime_init/Makefile
index dd8df8df..c9ee53d0 100644
--- a/02_runtime_init/Makefile
+++ b/02_runtime_init/Makefile
@@ -79,7 +79,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/03_hacky_hello_world/Makefile b/03_hacky_hello_world/Makefile
index f5bf1044..46037095 100644
--- a/03_hacky_hello_world/Makefile
+++ b/03_hacky_hello_world/Makefile
@@ -79,7 +79,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/04_zero_overhead_abstraction/Makefile b/04_zero_overhead_abstraction/Makefile
index f5bf1044..46037095 100644
--- a/04_zero_overhead_abstraction/Makefile
+++ b/04_zero_overhead_abstraction/Makefile
@@ -79,7 +79,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/05_safe_globals/Makefile b/05_safe_globals/Makefile
index f5bf1044..46037095 100644
--- a/05_safe_globals/Makefile
+++ b/05_safe_globals/Makefile
@@ -79,7 +79,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/06_drivers_gpio_uart/Makefile b/06_drivers_gpio_uart/Makefile
index f5bf1044..46037095 100644
--- a/06_drivers_gpio_uart/Makefile
+++ b/06_drivers_gpio_uart/Makefile
@@ -79,7 +79,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/07_uart_chainloader/Makefile b/07_uart_chainloader/Makefile
index e3f9db51..39bbc443 100644
--- a/07_uart_chainloader/Makefile
+++ b/07_uart_chainloader/Makefile
@@ -104,7 +104,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/08_timestamps/Makefile b/08_timestamps/Makefile
index c2f30193..e45af9cf 100644
--- a/08_timestamps/Makefile
+++ b/08_timestamps/Makefile
@@ -98,7 +98,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/09_hw_debug_JTAG/Makefile b/09_hw_debug_JTAG/Makefile
index b8de1d0a..32e9d6ba 100644
--- a/09_hw_debug_JTAG/Makefile
+++ b/09_hw_debug_JTAG/Makefile
@@ -127,7 +127,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/10_privilege_level/Makefile b/10_privilege_level/Makefile
index b8de1d0a..32e9d6ba 100644
--- a/10_privilege_level/Makefile
+++ b/10_privilege_level/Makefile
@@ -127,7 +127,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/11_virtual_memory/Makefile b/11_virtual_memory/Makefile
index b8de1d0a..32e9d6ba 100644
--- a/11_virtual_memory/Makefile
+++ b/11_virtual_memory/Makefile
@@ -127,7 +127,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/12_exceptions_part1_groundwork/Makefile b/12_exceptions_part1_groundwork/Makefile
index b8de1d0a..32e9d6ba 100644
--- a/12_exceptions_part1_groundwork/Makefile
+++ b/12_exceptions_part1_groundwork/Makefile
@@ -127,7 +127,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/13_integrated_testing/Makefile b/13_integrated_testing/Makefile
index b8d81c6e..afba8e91 100644
--- a/13_integrated_testing/Makefile
+++ b/13_integrated_testing/Makefile
@@ -158,7 +158,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \
diff --git a/14_exceptions_part2_peripheral_IRQs/Makefile b/14_exceptions_part2_peripheral_IRQs/Makefile
index 7a073999..cab93584 100644
--- a/14_exceptions_part2_peripheral_IRQs/Makefile
+++ b/14_exceptions_part2_peripheral_IRQs/Makefile
@@ -159,7 +159,7 @@ clean:
 	rm -rf target $(KERNEL_BIN)
 
 readelf: $(KERNEL_ELF)
-	readelf -a $(KERNEL_ELF)
+	readelf --headers $(KERNEL_ELF)
 
 objdump: $(KERNEL_ELF)
 	rust-objdump --arch-name aarch64 --disassemble --demangle --no-show-raw-insn \