핀토스(Pintos) 설치하기
핀토스 운영체제는 x86 아키텍처에서 운영체제의 기본을 이해하기 위해 고안된 교육용 운영체제입니다. 2004년 스탠포드 대학에서 Ben Pfaff라는 사람에 의해 만들어졌고, 이 운영체제는 커널 스레드, 유저 프로그램을 로딩하고 실행하는 것, 파일 시스템 등 운영체제가 갖춰야 할 기본적인 기능들을 지원하고 있습니다. 핀토스 운영체제는 Bochs나 QEMU 등 x86 시뮬레이터 위에서 사용해야 합니다.
포스트에서는 '리눅스 우분투' 운영체제에서 'Bochs' 시뮬레이터를 통해서 Pintos를 설치하고 정상작동 확인하는 것 까지 다뤄보도록 하겠습니다.
| 핀토스 운영체제 설치하기
1. 가상머신 혹은 호스트 운영체제로 '우분투' 운영체제 등 리눅스 계열 운영체제를 설치한다.
※ 가상머신 Virtual Box에 리눅스 우분투 설치하기 ► http://thinkpro.tistory.com/40
2. 우분투 위에 Bochs 시뮬레이터를 설치한다.
2-1. 다음 사이트에서 Bochs 다운로드받기
► http://bochs.sourceforge.net
tar.gz 확장자를 받으셔야 합니다.
2-2. 다운 받은 압축 파일을 원하는 폴더로 이동한 후, 다음 명령어로 파일 압축 해제 해줍니다.
$ cd ~ // 홈 디렉토리에 bochs 파일을 압축 해제. 원하는 경로로 설정하세요.
$ tar xvf bochs-2.6.2.tar.gz
2-3. bochs 폴더로 이동합니다. 그리고 컴파일 및 설치 과정을 진행합니다.
$ ./configure --enable-gdb-stub --with-nogui
$ make
$ sudo make install
※ "C compiler cannot create executables" 오류가 난다면
$ sudo apt-get install libc6-dev g++ gcc
※ "X windows libraries were not found" 오류가 난다면
$ sudo apt-get install xorg-dev
※ 그 외 오류의 경우 gcc 버전이 호환되지 않는 경우가 많습니다.
gcc 버전을 다운그레이드하세요.
$ sudo apt-get install gcc-4.6
$ sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.6 50
3. Pintos 설치 및 작동 확인하기
여기서 소스 코드를 다운로드 받읍시다.
► http://pintos.software.informer.com/download/
3-1. 소스 코드를 압축 해제합니다.
$ tar xvf pintos.tar.gz
3-2. bashrc 파일에 환경 설정
$ vi ~/.bashrc
파일 내에 마지막에
export PATH="$PATH:/home/usr/pintos/src/utils"
추가(usr는 자신의 username으로 변경해야 함.)
$ source ~/.bashrc // 이는 환경설정을 등록하는 명령어임.
4. Pintos 가 제대로 작동하는지 확인하기.
$ cd pintos/src/threads
$ make
$ cd build
$ pintos -- run alarm-multiple
오류없이 프로그램이 돌아간다면 성공한것입니다.