cvw/tests/linux-testgen/testvector-generation/genTrace.gdb

define genTrace
    # Arguments
    set $tcpPort=$arg0    

    # GDB config
    set pagination off
    set logging overwrite on
    set logging redirect on
    set confirm off

    # Connect to QEMU session
    eval "target extended-remote :%d",$tcpPort
    
    # Symbol Files
    file ../buildroot-image-output/vmlinux

    # Run until Linux login prompt
    b do_idle
    ignore 1 2
    c

    kill
    q
end
revamp linux testvector generation for refactoring checkpoint generation 2021-10-24 13:14:11 +00:00			`define genTrace`
			`# Arguments`
			`set $tcpPort=$arg0`

			`# GDB config`
			`set pagination off`
			`set logging overwrite on`
			`set logging redirect on`
			`set confirm off`

			`# Connect to QEMU session`
			`eval "target extended-remote :%d",$tcpPort`

			`# Symbol Files`
			`file ../buildroot-image-output/vmlinux`

			`# Run until Linux login prompt`
			`b do_idle`
			`ignore 1 2`
			`c`

			`kill`
			`q`
fix typo 2021-10-24 22:05:00 +00:00			`end`