logo
0
0
WeChat Login
Update README.md

rCore-Tutorial-Code

Code

Documents

OS API docs of rCore Tutorial Code

Related Resources

Setup

$ git clone https://github.com/LearningOS/2025a-rcore-[YOUR_USER_NAME].git $ cd 2025a-rcore-[YOUR_USER_NAME]

Build & Run

# 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:

Notice: $ID is from [1-9]

Grading

# 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]