diff --git a/linux/testvector-generation/debug.sh b/linux/testvector-generation/debug.sh index c667429c..748f6e02 100755 --- a/linux/testvector-generation/debug.sh +++ b/linux/testvector-generation/debug.sh @@ -9,6 +9,13 @@ tcpPort=1239 -nographic \ -bios $imageDir/fw_jump.elf -kernel $imageDir/Image -append "root=/dev/vda ro" -initrd $imageDir/rootfs.cpio \ -singlestep -rtc clock=vm -icount shift=0,align=off,sleep=on \ -> ./qemu-serial) # \ -#-gdb tcp::$tcpPort -S \ -#& riscv64-unknown-elf-gdb -quiet -x debug.gdb -ex "debug $tcpPort \"$imageDir/vmlinux\"" +> ./qemu-serial \ +-gdb tcp::$tcpPort -S) \ +& riscv64-unknown-elf-gdb -quiet \ +-ex "set pagination off" \ +-ex "set logging overwrite on" \ +-ex "set logging redirect on" \ +-ex "set confirm off" \ +-ex "target extended-remote :$tcpPort" \ +-ex "maintenance packet Qqemu.PhyMemMode:1" \ +-ex "file $imageDir/vmlinux"