Skip to content

Instantly share code, notes, and snippets.

@3-24

3-24/tips.md

Created April 23, 2020 14:12
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save 3-24/c35f15902dac67af6bc3282f1a2e48db to your computer and use it in GitHub Desktop.
Save 3-24/c35f15902dac67af6bc3282f1a2e48db to your computer and use it in GitHub Desktop.
Download ZIP
핀토스 팁 끄적끄적
Raw
tips.md

GDB 사용법

Setup

shell 하나에서 pintos --gdb ~~~ 나머지 shell에서 gdb kernel.o 후 target remote localhost:1234

Breakpoints

b process.c:345 : process.c의 345번째 줄에 삽입

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment