├── .github
    └── workflows
    │   └── build.yml
└── README.md


/.github/workflows/build.yml:
--------------------------------------------------------------------------------
 1 | name: Jobs
 2 | 
 3 | on: [push]
 4 | 
 5 | env:
 6 |   CARGO_TERM_COLOR: always
 7 |   rust_toolchain: nightly-2022-08-05
 8 | 
 9 | jobs:
10 |   gitlab-mirror:
11 |     if: github.repository == 'LearningOS/rCore-Tutorial-Code-2023S'
12 |     runs-on: ubuntu-latest
13 |     steps:
14 |     - uses: actions/checkout@v1
15 |     - name: Mirror + trigger CI
16 |       uses: Gallium70/gitlab-mirror-and-ci-action@master
17 |       with:
18 |         args: "https://git.tsinghua.edu.cn/os-lab/2023s/public/rcore-tutorial-code-2023s"
19 |       env:
20 |         GITLAB_HOSTNAME: "git.tsinghua.edu.cn"
21 |         GITLAB_PROJECT_ID: "20881"
22 |         GITLAB_PROJECT_NAME: "rcore-tutorial-code-2023s"
23 |         GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}}
24 |         GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | # rCore-Tutorial-Code-2023S
 2 | 
 3 | ### Code
 4 | - [Soure Code of labs for 2023S](https://github.com/LearningOS/rCore-Tutorial-Code-2023S)
 5 | ### Documents
 6 | 
 7 | - Concise Manual: [rCore-Tutorial-Guide-2023S](https://LearningOS.github.io/rCore-Tutorial-Guide-2023S/)
 8 | 
 9 | - Detail Book [rCore-Tutorial-Book-v3](https://rcore-os.github.io/rCore-Tutorial-Book-v3/)
10 | 
11 | 
12 | ### OS API docs of rCore Tutorial Code 2023S
13 | - [OS API docs of ch1](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch1/os/index.html)
14 |   AND [OS API docs of ch2](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch2/os/index.html)
15 | - [OS API docs of ch3](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch3/os/index.html)
16 |   AND [OS API docs of ch4](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch4/os/index.html)
17 | - [OS API docs of ch5](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch5/os/index.html)
18 |   AND [OS API docs of ch6](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch6/os/index.html)
19 | - [OS API docs of ch7](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch7/os/index.html)
20 |   AND [OS API docs of ch8](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch8/os/index.html)
21 | - [OS API docs of ch9](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch9/os/index.html)
22 | 
23 | ### Related Resources
24 | - [Learning Resource](https://github.com/LearningOS/rust-based-os-comp2022/blob/main/relatedinfo.md)
25 | 
26 | 
27 | ### Build & Run
28 | 
29 | ```bash
30 | # setup build&run environment first
31 | $ git clone https://github.com/LearningOS/rCore-Tutorial-Code-2023S.git
32 | $ cd rCore-Tutorial-Code-2023S
33 | $ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2023S.git user
34 | $ git checkout ch$ID
35 | $ cd os
36 | # run OS in ch$ID
37 | $ make run
38 | ```
39 | Notice: $ID is from [1-9]
40 | 
41 | ### Grading
42 | 
43 | ```bash
44 | # setup build&run environment first
45 | $ git clone https://github.com/LearningOS/rCore-Tutorial-Code-2023S.git
46 | $ cd rCore-Tutorial-Code-2023S
47 | $ rm -rf ci-user
48 | $ git clone https://github.com/LearningOS/rCore-Tutorial-Checker-2023S.git ci-user
49 | $ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2023S.git ci-user/user
50 | $ git checkout ch$ID
51 | # check&grade OS in ch$ID with more tests
52 | $ cd ci-user && make test CHAPTER=$ID
53 | ```
54 | Notice: $ID is from [3,4,5,6,8]
55 | 


--------------------------------------------------------------------------------