[OS] Pintos 설치하기
[OS] Pintos 설치하기
2020.01.16필자의 환경조건 ) Ubuntu 14.04 x86버전. 필자만 잘 따라하면 좋은 결과를 얻을 수 있을 것이다. make 부분에서 오류가 나지 않으려면 gcc를 제대로 설치해야한다. $ sudo apt-get install g++ xorg-dev ncurses-dev vim $ sudo apt-get install gcc-4.4 $ sudo mv /usr/bin/gcc-4.4 /usr/bin/gcc 위 세가지 소스코드를 확실히 실행시켜야 한다. 자신이 원하는 위치에 dir를 하나 생성하고 pintos 파일을 받아온다. $ cd / $ sudo mkdir temp $ wget http://www.stanford.edu/class/cs140/projects/pintos/pintos.tar.gz $ tar xz..