개요

• pintos kaist는 x86-64 architecture를 위한 운영체제 프레임워크.
• kernel threads, loading and running user programs, file system을 지원하며 간단하게 이를 구현할 수 있게 했다.
• 운영체제를 올릴 PC를 제공할수 없기 때문에 qemu simulator환경에서 실습
• bashrc에 source ./activate를 넣어줄것 아니면 매번 로그인 할 때마다 적어줘야함.

Source Tree overview

• threads/: project1에서 변경, base kernel
• userprog/: project2에서 변경, user program loader
• vm/: project3에서 변경, 가상 메모리 구현
• filesys/: project4, 파일 시스템
• devices/: project1, I/O device interfacing
• lib/: project2, C library의 부분집합
• include/lib/kernel/: C library
• include/lib/user/: C library
• tests/: 각 프로젝트별 테스트
• examples/: project2부터 시작, user programs
• include/: headers

Running Pintos

• pintos실행시키기 pintos -- run alarm-multiple

pintos option... -- argument ...