rCore-Tutorial-Code

Code

• Soure Code of labs

Documents

• Concise Manual: rCore-Tutorial-Guide

• Detail Book rCore-Tutorial-Book-v3

OS API docs of rCore Tutorial Code

• OS API docs of ch1 AND OS API docs of ch2
• OS API docs of ch3 AND OS API docs of ch4
• OS API docs of ch5 AND OS API docs of ch6
• OS API docs of ch7 AND OS API docs of ch8
• OS API docs of ch9

Related Resources

• Learning Resource

Build & Run

# setup build&run environment first
$ git clone https://github.com/LearningOS/rCore-Tutorial-Code.git
$ cd rCore-Tutorial-Code
$ git clone https://github.com/LearningOS/rCore-Tutorial-Test.git user
$ git checkout ch$ID
$ cd os
# run OS in ch$ID
$ make run

If you want to use docker to build and run, you can use the following command:

# After clone the `rCore-Tutorial-Test` repository to your local machine, you can use the following command to build and run:
$ make build_docker
$ make docker

If you experience network issues when accessing foreign resources such as GitHub in Docker, you can follow the following suggestions according to your stage:

• Docker pull:

  1. use proxy: https://docs.docker.com/reference/cli/docker/image/pull/#proxy-configuration

  2. use available domestic source (self-search)

• Docker build: use proxy https://docs.docker.com/engine/cli/proxy/#build-with-a-proxy-configuration

• Docker run: use proxy option, related operations are similar to Docker build, can refer to the relevant materials by yourself

Notice: $ID is from [1-9]

Grading

# setup build&run environment first
$ git clone https://github.com/LearningOS/rCore-Tutorial-Code.git
$ cd rCore-Tutorial-Code
$ rm -rf ci-user
$ git clone https://github.com/LearningOS/rCore-Tutorial-Checker.git ci-user
$ git clone https://github.com/LearningOS/rCore-Tutorial-Test.git ci-user/user
$ git checkout ch$ID
# check&grade OS in ch$ID with more tests
$ cd ci-user && make test CHAPTER=$ID

Notice: $ID is from [3,4,5,6,8]