source pretty-print.py set pagination off set print pretty on set output-radix 16 symbol-file build/kernel.out target remote:1234 # layout src b tmpfs::mkdir c
