From f8499d42f2d2429390190b9bc192bf51ca49ad78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=ED=99=8D=20=EC=9C=A0=EB=B9=88?= <sara150@ajou.ac.kr> Date: Sun, 22 Dec 2024 19:40:51 +0900 Subject: [PATCH] Update 2. Getting Started.md --- Introduction/2. Getting Started.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Introduction/2. Getting Started.md b/Introduction/2. Getting Started.md index 1fd9e44..31a2214 100644 --- a/Introduction/2. Getting Started.md +++ b/Introduction/2. Getting Started.md @@ -1,4 +1,4 @@ -### 시작하기 +# 시작하기 Pintos를 시작하려면 이를 빌드할 수 있는 머신에 로그인해야 합니다. 강사진이 제공한 Linux 머신이나, 본인의 Solaris 또는 Linux 머신을 사용할 수 있습니다. 하지만 우리는 제공된 머신에서 코드를 테스트할 것이며, 이 문서의 지침 또한 이 환경을 기준으로 작성되었습니다. 본인의 머신에 Pintos를 설치하고 작업하는 데는 지원이 어렵습니다. 아래와 같은 서버 환경이 각 학생에게 제공될 예정입니다. @@ -17,7 +17,7 @@ Pintos 소스 코드를 ‘pintos’라는 디렉터리에 가져오려면 아 홈 디렉터리의 .bashrc 파일에 이 명령어를 추가하는 것이 좋습니다. 그렇지 않으면, 매번 로그인할 때마다 이 명령어를 입력해야 합니다. -### 소스 트리 개요 +# 소스 트리 개요 디렉토리 안의 내용을 확인해 봅시다. pintos/ 디렉토리에서 확인할 수 있는 디렉터리 구조는 다음과 같습니다: -- GitLab