Run tests in github workflow or local environment.

• Soure Code of labs for 2025S

• Concise Manual: rCore-Tutorial-Guide-2025S

• 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

• Learning Resource

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

Notice: $ID is from [1-9]

# setup build&run environment first
$ git clone https://github.com/LearningOS/rCore-Tutorial-Code-2025S.git
$ cd rCore-Tutorial-Code-2025S
$ rm -rf ci-user
$ git clone https://github.com/LearningOS/rCore-Tutorial-Checker-2025S.git ci-user
$ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2025S.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]