diff --git a/09_hw_debug_JTAG/README.md b/09_hw_debug_JTAG/README.md
index 1db965b8..9b3a6e26 100644
--- a/09_hw_debug_JTAG/README.md
+++ b/09_hw_debug_JTAG/README.md
@@ -10,7 +10,7 @@ In the exact order as listed:
 4. In new terminal, `make openocd` and keep terminal open.
 5. In new terminal, `make gdb` or make `make gdb-opt0`.
 
-![JTAG live demo](../doc/jtag_demo.gif)
+<img src="../doc/09_demo.gif" widht="880">
 
 ## Table of Contents
 
@@ -233,18 +233,16 @@ $ make gdb
 [...]
 >>> target remote :3333                          # Connect to OpenOCD, core0
 >>> load                                         # Load the kernel into the RPi's DRAM over JTAG.
-Loading section .text, size 0x2660 lma 0x80000
-Loading section .rodata, size 0xfa5 lma 0x82660
-Loading section .data, size 0x18 lma 0x83608
-Start address 0x80000, load size 13853
-Transfer rate: 65 KB/sec, 4617 bytes/write.
+Loading section .text, size 0x2340 lma 0x80000
+Loading section .rodata, size 0xc2d lma 0x82340
+Loading section .data, size 0x20 lma 0x82f70
+Start address 0x80000, load size 12173
+Transfer rate: 65 KB/sec, 4057 bytes/write.
 >>> set $pc = 0x80000                            # Set RPI's program counter to the start of the
                                                  # kernel binary.
 >>> break main.rs:70
-Breakpoint 1 at 0x80124: file src/main.rs, line 70.
+Breakpoint 1 at 0x80108: file src/main.rs, line 153.
 >>> cont
-Breakpoint 1, kernel::kernel_main () at src/main.rs:70
-70          println!("Booting on: {}", bsp::board_name());
 >>> step                                         # Single-step through the kernel
 >>> step
 >>> ...
diff --git a/doc/09_demo.gif b/doc/09_demo.gif
new file mode 100644
index 00000000..ff922d26
Binary files /dev/null and b/doc/09_demo.gif differ
diff --git a/doc/jtag_demo.gif b/doc/jtag_demo.gif
deleted file mode 100644
index 689620ae..00000000
Binary files a/doc/jtag_demo.gif and /dev/null differ