--- a/slide/master.html	Wed Feb 18 03:05:48 2015 +0900
+++ b/slide/master.html	Wed Feb 18 04:37:20 2015 +0900
@@ -419,29 +419,38 @@
     <li>Linux Kernel を gdb で読むためには手間がかかる</li>
     <li>システムでその環境を用意すれば、手軽に gdb から Linux kernel を追うことが可能になる</li>
   </ul>
-  <h2>Kernel debug における gdb の出力例</h2>
-<pre>
-  GNU gdb (GDB) Fedora 7.7.1-21.fc20
-  Copyright (C) 2014 Free Software Foundation, Inc.
-  License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
-  This is free software: you are free to change and redistribute it.
-  There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
-  and "show warranty" for details.
-  This GDB was configured as "x86_64-redhat-linux-gnu".
-  Type "show configuration" for configuration details.
-  For bug reporting instructions, please see:
-  <http://www.gnu.org/software/gdb/bugs/>.
-  Find the GDB manual and other documentation resources online at:
-  <http://www.gnu.org/software/gdb/documentation/>.
-  For help, type "help".
-  Type "apropos word" to search for commands related to "word"...
-  Reading symbols from /usr/lib/debug/lib/modules/3.16.7-200.fc20.x86_64/vmlinux...done.
-  (gdb) target remote localhost:12345
-  Remote debugging using localhost:12345
-  native_safe_halt () at arch/x86/include/asm/irqflags.h:50
-  50    }
-  (gdb)
-</pre>
+  <h2>Kernel debug における ie-virsh debug から gdb 開始までの出力例</h2>
+    <pre>
+        % ie-virsh debug start
+        uid 21819 gid 1001 name k138582
+        ** execute : (gdb) target remote localhost:11987
+        Domain students_k13_k138582_debug defined from /etc/libvirt/qemu/students/k13/k138582/debugvm.xml
+
+        Domain students_k13_k138582_debug started
+
+        GNU gdb (GDB) Fedora 7.7.1-21.fc20
+        Copyright (C) 2014 Free Software Foundation, Inc.
+        License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
+        This is free software: you are free to change and redistribute it.
+        There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
+        and "show warranty" for details.
+        This GDB was configured as "x86_64-redhat-linux-gnu".
+        Type "show configuration" for configuration details.
+        For bug reporting instructions, please see:
+        <http://www.gnu.org/software/gdb/bugs/>.
+        Find the GDB manual and other documentation resources online at:
+        <http://www.gnu.org/software/gdb/documentation/>.
+        For help, type "help".
+        Type "apropos word" to search for commands related to "word"...
+        Reading symbols from /usr/lib/debug/lib/modules/3.16.7-200.fc20.x86_64/vmlinux...done.
+        (gdb) target remote localhost 11987
+        localhost 11987: No such file or directory.
+        (gdb) target remote localhost:11987
+        Remote debugging using localhost:11987
+        native_safe_halt () at arch/x86/include/asm/irqflags.h:50
+        50  }
+        (gdb)
+    </pre>
 </div>
 
 <div class='slide'>