Skip to content

Instantly share code, notes, and snippets.

@YoungseokCh

YoungseokCh/tips.md

Created April 23, 2020 14:12
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save YoungseokCh/c35f15902dac67af6bc3282f1a2e48db to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save YoungseokCh/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