🛠️ Pintos 개발 환경 시작 가이드

1. 설치 전 준비

• Linux 환경 (예: Ubuntu 16.04 이상) 또는 WSL2 (Windows의 경우)
• 테스트 환경은 다음과 같음:
  • Ubuntu 16.04.6 LTS
  • gcc 7.4.0
  • qemu-system-x86 2.5.0

⚠️ 학교 제공 서버 기준으로 테스트됩니다. 개인 환경은 공식 지원되지 않습니다.

2. Pintos 소스코드 다운로드

git clone <https://github.com/casys-kaist/pintos-kaist>
cd pintos-kaist

📌 주의: 이 저장소는 변경될 수 있으므로, fork(복사)한 후 동기화(sync) 하는 방식을 권장합니다.

❌ 절대로 public fork 금지

3. 개발 도구 설치 (Ubuntu / WSL2 기준)

sudo apt update
sudo apt install -y gcc make qemu-system-x86 python3

※ gcc는 32비트 컴파일을 위해 multilib 필요할 수 있음:

sudo apt install gcc-multilib

4. 환경 설정 활성화

Pintos 루트 디렉토리에서 아래 명령 실행:

source ./activate

이 명령은 다음을 자동으로 설정해줍니다:

• PATH 등록