Setup

To install GDB on linux we need to use:

$ sudo apt-get update
$ sudo apt-get install gdb