How to Debug Pintos

debug-pintos-cs162.md

How to Debug Pintos

Pull latest docker image from docker.io

  sudo docker pull thinkhy/cs162-pintos

Run container

sudo docker run -i -t -v [pintosSRC]/pintos:/pintos docker.io/thinkhy/cs162-pintos  bash

Start GDB server

cd /pintos
./run.sh

Create another session to start a GDB client

sudo docker ps  # find the container ID just run
sudo docker exec -t -i [ContainerID] bash
# at this point, you are in the container
cd /pintos/src/thread/build
gdb ./kernel.o
# in GDB
target remote localhost:1234
continue

Happy Coding!