gyeo009 / pintos-kaist

Brand new pintos for Operating Systems and Lab (CS330), KAIST, by Youngjin Kwon.

The manual is available at https://casys-kaist.github.io/pintos-kaist/.

본 레포지토리는 카이스트의 운영체제 교과목의 과제 pintos-kaist를 구현한 코드를 담고 있습니다.

SPEC

• Ubuntu 16.04.6 LTS
• gcc (Ubuntu 7.4.0-1ubuntu1~16.04~ppa1) 7.4.0
• QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.43)

그외 필요 패키지

• make
• git
• python3

도커를 이용해 Ubuntu 16.04 이미지의 리눅스 컨테이너를 띄워 환경 세팅을 진행했습니다.

환경 설정 중 겪은 에러는 Issues에 기록해뒀습니다.

Ref.

https://casys-kaist.github.io/pintos-kaist/

pintos-kaist's Issues

🐛 Bug Report: gcc error, unrecognized command line option '-fno-plt'

📜 Description
이미 한 번 검증된 환경설정 세팅을 따라하기 위해 gcc-7 버전의 패키지를 설치하였습니다.
그러나 gcc --version 명령어를 통해 gcc 버전 확인 시 자꾸 gcc 5 버전으로 나오는 현상이 있었습니다.
이 gcc-5 컴파일러로 make 시 gcc: error: unrecognized command line option '-fno-plt' 라는 에러가 발생합니다.
따라서 gcc 컴파일러를 7로 버전 업그레이드 해줘야 합니다.
여러 gcc 패키지를 사용하고 있을 수도 있어서, default로 사용할 버전을 지정해줘야 합니다.

Solution
update-alternatives 명령어를 통해 기본적으로 사용할 버전을 등록해줍니다.

sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7.5.0 75
해당 코드를 통해 7.5.-버전 gcc 컴파일러에 더 높은 우선순위를 줘서 해결합니다.

gcc-ar 및 gcc-nm 및 gcc-ranlib에도 똑같은 명령어를 반복 적용하여 사용할 버전을 변경합니다.