@@ -49,7 +49,7 @@ Pintos 소스 코드를 ‘pintos’라는 디렉터리에 가져오려면 아
빌드 후, build 디렉토리에 생성된 주요 파일은 다음과 같습니다:
•Makefile: pintos/src/Makefile.build의 복사본입니다. 커널을 빌드하는 방법을 설명합니다.
•Makefile: `pintos/src/Makefile.build`의 복사본입니다. 커널을 빌드하는 방법을 설명합니다.
•kernel.o: 전체 커널의 오브젝트 파일입니다. 각 커널 소스 파일에서 컴파일된 개별 오브젝트 파일들을 하나로 링킹(linking)하여 생성된 오브젝트 파일입니다. 디버그 정보를 포함하고 있어 GDB(참고: GDB)나 백트레이스(참고: Backtraces)를 실행할 수 있습니다.
...
...
@@ -61,4 +61,4 @@ Pintos 소스 코드를 ‘pintos’라는 디렉터리에 가져오려면 아
우리는 시뮬레이터에서 Pintos를 편리하게 실행할 수 있는 pintos라는 프로그램을 제공합니다. 가장 간단한 경우로, pintos를 pintos 인자(argument)... 형태로 실행할 수 있습니다. 각 인자는 Pintos 커널에 전달되어 실행됩니다. 한번 실행해 보세요. 먼저 새로 생성된 build 디렉토리로 이동합니다(cd). 그런 다음 pintos run alarm-multiple 명령어를 실행합니다. 이 명령은 run alarm-multiple 인자를 Pintos 커널에 전달합니다. 이 인자에서 run은 커널에 테스트를 실행하도록 지시하고, 이때 alarm-multiple이 실행할 테스트입니다. Pintos는 부팅한 뒤 alarm-multiple 테스트 프로그램을 실행하며, 이는 몇 화면 분량의 텍스트를 출력합니다.
명령줄(command line)에서 리디렉션을 사용하여 시리얼 출력을 파일에 기록할 수도 있습니다. 예시: `pintos -- run alarm-multiple > logfile`. pintos 프로그램은 qemu 또는 가상 하드웨어를 구성할 수 있는 여러 옵션을 제공합니다. 옵션을 지정하려면 커널에 전달할 명령어보다 앞에 작성해야 하며, 옵션과 명령어는 --로 구분해야 합니다. 따라서 전체 명령은 pintos 옵션... -- 인자... 형태가 됩니다. pintos를 인자 없이 실행하면 사용 가능한 옵션 목록을 확인할 수 있습니다. 옵션에는 VM 출력 방식을 설정하는 기능이 포함되어 있으며, -v를 사용하여 VGA 출력을 비활성화하거나, -s를 사용하여 표준 입력(stdin) 및 표준 출력(stdout)으로의 시리얼 입출력을 억제할 수 있습니다. Pintos 커널은 run 명령 외에도 다양한 명령어와 옵션을 제공합니다. 지금 이것들은 크게 중요하지 않지만, -h를 사용하여 목록을 확인할 수 있습니다. 예:pintos –h
명령줄(command line)에서 리디렉션을 사용하여 시리얼 출력을 파일에 기록할 수도 있습니다. 예시: `pintos -- run alarm-multiple > logfile`. pintos 프로그램은 qemu 또는 가상 하드웨어를 구성할 수 있는 여러 옵션을 제공합니다. 옵션을 지정하려면 커널에 전달할 명령어보다 앞에 작성해야 하며, 옵션과 명령어는 `--`로 구분해야 합니다. 따라서 전체 명령은 `pintos 옵션... -- 인자...` 형태가 됩니다. pintos를 인자 없이 실행하면 사용 가능한 옵션 목록을 확인할 수 있습니다. 옵션에는 VM 출력 방식을 설정하는 기능이 포함되어 있으며, `-v`를 사용하여 VGA 출력을 비활성화하거나, `-s`를 사용하여 표준 입력(stdin) 및 표준 출력(stdout)으로의 시리얼 입출력을 억제할 수 있습니다. Pintos 커널은 run 명령 외에도 다양한 명령어와 옵션을 제공합니다. 지금 이것들은 크게 중요하지 않지만, `-h`를 사용하여 목록을 확인할 수 있습니다. 예:`pintos –h`
