[ostep]PintOS 설치

PintOS란

• x86 아키텍처를 위한 교육용 운영체제
• 2004년 스탠포드 대학에 Ben Pfaff에 의해 만들어짐
• kernel threads, loading and running user programs, file system 등을 지원
• Bochs나 QEMU 등 x86 시뮬레이터를 사용

왜 PintOS를 사용할까?

• 운영체제에서 실제로 각종 개념(쓰레드, 프로세스, 메모리 관리, 파일 시스템)을 구현해보는 것이 중요
• 리눅스와 같은 상용운영체제는 매우 큼(100만 라인)80%이상이 다양한 하드웨어 지원을 위한 디바이스 드라이버 코드
• 리눅스 컴파일 : 최소 한시간 이상 걸림
• 간단하고, 이해하기 쉽고, 컴파일도 쉬운 운영체제 핀토스(PintOS)

1. 가상머신 설치 virtualbox

2. Ubuntu 12.04 LTS 다운로드

3. Ubuntu 가상머신 생성

4. 시뮬레이터 QEMU 설치

$ sudo apt-get install qemu
# qemu 명령어가 실행되도록 설정
$ sudo ln -s /usr/bin/qemu-system-i386 /usr/bin/qemu

5. library 설치

$ sudo apt-get install libc6-dev g++ gcc
$ sudo apt-get install xorg-dev
# apt-get update, upgrade를 할 필요가 있는 것 같다.

6. PintOS 설치

$ wget http://www.stanford.edu/class/cs140/projects/pintos/pintos.tar.gz
$ tar xzf pintos.tar.gz

7. bashrc 환경변수 설정

$ vim ~/.bashrc
맨 아래에 export PATH="$PATH:/home/usr/pintos/src/utils" 추가
$ source ~/.bashrc

8. test

어떤 이유인지는 모르겠지만 pintos -- run alram-multiple을 하게되면 SIGVTALRM()이라는 문제가 나오게 된다. 아마도 다른 실습환경처럼 시뮬레이션 프로그램을 bochs이 아닌 qemu를 사용하기 때문인 것 같다.
pintos --qemu -- run alram-multiple 처럼 qemu를 사용한다고 명시해주면 해결된다.