adds a couple print_vmcb()s for the write CR0 -> shutdown bug
[freebsd-src/fkvm-freebsd.git] / tools / debugscripts / 
tree7b87bfcadf045083c1bb1c6e4fbaeaea63791a91
drwxr-xr-x   ..
-rw-r--r-- 892 README
-rw-r--r-- 3789 dot.gdbinit
-rw-r--r-- 8812 gdbinit.i386
-rw-r--r-- 10190 gdbinit.kernel
-rw-r--r-- 2303 kgdb
-rw-r--r-- 4725 kld_deb.py