https://peeterjoot.com/2016/06/09/gdb-tui-mode-debugging/