Pintos 시작하기, 환경 설정하고 설치하는 방법

pintos 설치 과정이 잘 정리된 사이트는 이 곳을 참고하자. pintos의 공식 문서 사이트와 버클리 대학의 운영체제 강의 사이트도 좋은 참고 자료이다.

설치 과정은 앞서 언급한 블로그를 참고하여 설치한다. 공식 문서에 따르면, 높은 버전의 gcc와 bochs 등도 사용할 수 있다고 나오지만, 설치 중 여러 에러 메시지를 만나서 결국 블로그에 나와있는 버전과 동일하게 진행하였다.

아래와 같은 버전의 개발 환경을 구축하였다.

설치 과정에서 사용한 명령어는 아래와 같다.

sudo apt-get install gcc

sudo apt-get install g++

qemu-system-i386 -version

pintos -- run alarm-multiple

page hit