컴파일 명령어
cd pintos && make
빌드 결과물을 기반으로 테스트 실행 명령어
cd pintos/build && make check
특정 테스트에 대해서만 실행하는 명령어
cd /workspaces/pintos_22.04_lab_docker/pintos/threads/build
# 파일명이 달라질 수 있음 pintos -v -k -T 60 -- -q run priority-change