Agenda

<aside> 📌 Reminders

• P1 due February 2, 2025 </aside>

Logistics

Contact: [email protected]

OH: Wednesday 6-7PM, CS help centre

Tutorial: Review tutorial questions, answer any questions you might have

Make sure to watch video before tutorial

Getting Started With pintOS

Some helpful commands

• Running the docker image and mounting file (inside your local pintOS directory)

  docker run --platform linux/amd64 --rm --name pintos -v $(pwd):/pintos -it thierrysans/pintos bash
  

• Build the project:

run make in /pintos/src/utils and /pintos/src/threads

• Running a single test (alarm-single in this case)

in the build directory of your project: pintos -v -k -T 60 --bochs -- -q run alarm-single

• Running a single test with gdb

Again in the build directory: pintos --gdb -v -k -T 60 --bochs -- -q run alarm-single

Open a new terminal, connect to the container: docker exec -it pintos bash, then, inside /pintos/src/threads/build , run pintos-gdb kernel.o to load symbols and debugpintos to connect to running program

gdb commands

• Add a breakpoint to a function

  b func_name

• Add a breakpoint to a line number

  b file_name:line_num

• Continue to next breakpoint

  c