Pintos Document p23 ~ p25 참조.

1. project 2를 수행하기 위해 파일 시스템 만들기

  a. src/userprog 에서 make 하기
  b. 1.a를 수행하면 build 파일이 생성
  c. src/userprog/build 파일로 이동하여 해당 위치에서 파일 시스템을 생성

    -1. pintos-mkdisk filesys.dsk --filesys-size=2
        : 해당 디렉토리에 filesys.dsk라는 2MB짜리 디스크를 생성

    -2. pintos -f -q
        : filesys.dsk를 -f (포멧하고) -q(종료)

    -3. src/examples에서 make를 하여 해당 위치의 xx.c 파일을 컴파일

    -4. src/userprog/build 위치에서
        pintos -p ../../examples/echo -a echo -- -q
        : examples/echo 실행파일을 dsk에 echo라는 새로운 이름으로 가져옴

    -5. pintos run 'echo x'
        : echo(실행 명) x(인자) 른 넘겨서 해당 프로그램이 실행되는 것을 확인 가능