T3rry T3rry

pintos kaist 프로젝트를 시작하게 되었다. 디버깅에 관한 팁을 적고자한다.pintos kaist 공식 문서에서 제공하는 디버깅 방법중 하나인 gdb 사용 법을 우선 적어보고자 한다.편하게 디버깅 툴을 쓰던 것과 달리 꽤나 원시적이라고 느껴서 이를 원시인 방법이라고 적겠다 🙉🙉원시인 디버깅1. gdb 가 설치되어있는가?우선 실행 환경에 gdb를 설치할것커널에gdb를 쳐서 설치되었는지 확인해보고 없다면sudo apt install gdb로 설치 2. pintos 실행핀토스를 실행할때 여러 옵션을 주고 실행할 수 있는 것을 아는가? pintos.c 를 까보아도 되고 pintos -h 를 실행해도 된다.--gdb 옵션을 pintos 명령어 다음에 인자로 주면 디버깅 을 할수있다.추가 tip`--` ..