-
Concise Manual: rCore-Tutorial-Guide
-
Detail Book rCore-Tutorial-Book-v3
- 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
$ git clone https://github.com/LearningOS/2025a-rcore-[YOUR_USER_NAME].git
$ cd 2025a-rcore-[YOUR_USER_NAME]
# setup build&run environment first
$ 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:
-
use proxy: https://docs.docker.com/reference/cli/docker/image/pull/#proxy-configuration
-
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]
# setup build&run environment first
$ 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]