킥스타트 가이드/PintOS (KAIST) 시작하기

관리자 (토론 | 기여)님의 2024년 10월 30일 (수) 13:00 판
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)

(작성 중입니다.)

참고: KAIST 전산학부 명예규정 및 Redox License에 의하여 pintos-kaist의 솔루션을 공개하거나 공유드릴 수는 없습니다.
이 문서는 명예규정에 저촉되지 않는 선에서 "어떻게" Project 1을 시작하는지 정도만 다루려고 합니다.

PintOS Project를 처음 접하셨나요? 당황스러운게 정상입니다. 어떻게 시작하는지 조차 알려주지 않고, PintOS 매뉴얼 조차 어떤 함수를 수정해서 어떻게 만들라는 것이 전부라서 상당히 당황스럽습니다.

GitHub private repo 생성하기

아시는 바와 같이 KAIST 전산학부 명예규정에 의해서 pintos-kaist 수정본을 공개하는 것은 금지되어 있습니다. 여기서 유의할 점은 GitHub의 Fork 기능을 사용하고, 생성된 레포지터리에서 작업하면 본인의 솔루션을 공개하는 것이 됩니다.

그러나, Git과 같은 버전 관리 시스템을 이용하여 진행상황을 수시로 저장하는 것은 당연히 필요한 일이기에 private repo로 Fork를 할 필요가 있는데 이 문단에서는 Private Fork를 뜨는 방법을 직관적으로 설명합니다.

기타

궁금하신 점이 있다면 실라버스에 안내되어 있는대로 질문 게시판 (KLMS? piazza?)에 올리거나 과목 조교님들께 여쭤보시기 바랍니다.

아마 해당 내용은 Project 1 연습반이나 Office Hour에서 당연히 다뤄야 할 내용이라서 혹시 과목 교수님이나 조교님이 이 문서와 다르게 안내하시면 안내대로 따르셔야 합니다.

PintOS 매뉴얼이 당황스럽기는 해도, 기본적으로 무엇을 어떻게 해야하는지를 다루는 내용이라서 충분히 숙지하셔야 하는 내용입니다. 교수님 수업을 잘 들으셨다면 어떻게 구현해야 하는지 high-level idea가 이미 있으실 터이니, (1) 베이스 코드를 보고 이해한 후, (2) 수정을 시작하면서, (3) 렉쳐 노트를 다시 한번 쭉 읽어보면서, (4) 아이디어를 구현하고 (5) 충분히 디버깅하시면 충분히 하실 수 있는 난이도입니다. 화이팅!