Init

.github/workflows/build.yml

@@ -0,0 +1,24 @@
+name: Jobs
+
+on: [push]
+
+env:
+  CARGO_TERM_COLOR: always
+  rust_toolchain: nightly-2022-08-05
+
+jobs:
+  gitlab-mirror:
+    if: github.repository == 'LearningOS/rCore-Tutorial-Code-2023S'
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+    - name: Mirror + trigger CI
+      uses: Gallium70/gitlab-mirror-and-ci-action@master
+      with:
+        args: "https://git.tsinghua.edu.cn/os-lab/2023s/public/rcore-tutorial-code-2023s"
+      env:
+        GITLAB_HOSTNAME: "git.tsinghua.edu.cn"
+        GITLAB_PROJECT_ID: "20881"
+        GITLAB_PROJECT_NAME: "rcore-tutorial-code-2023s"
+        GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}}
+        GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}

README.md

@@ -0,0 +1,54 @@
+# rCore-Tutorial-Code-2023S
+
+### Code
+- [Soure Code of labs for 2023S](https://github.com/LearningOS/rCore-Tutorial-Code-2023S)
+### Documents
+
+- Concise Manual: [rCore-Tutorial-Guide-2023S](https://LearningOS.github.io/rCore-Tutorial-Guide-2023S/)
+
+- Detail Book [rCore-Tutorial-Book-v3](https://rcore-os.github.io/rCore-Tutorial-Book-v3/)
+
+
+### OS API docs of rCore Tutorial Code 2023S
+- [OS API docs of ch1](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch1/os/index.html)
+  AND [OS API docs of ch2](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch2/os/index.html)
+- [OS API docs of ch3](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch3/os/index.html)
+  AND [OS API docs of ch4](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch4/os/index.html)
+- [OS API docs of ch5](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch5/os/index.html)
+  AND [OS API docs of ch6](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch6/os/index.html)
+- [OS API docs of ch7](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch7/os/index.html)
+  AND [OS API docs of ch8](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch8/os/index.html)
+- [OS API docs of ch9](https://learningos.github.io/rCore-Tutorial-Code-2023S/ch9/os/index.html)
+
+### Related Resources
+- [Learning Resource](https://github.com/LearningOS/rust-based-os-comp2022/blob/main/relatedinfo.md)
+
+
+### Build & Run
+
+```bash
+# setup build&run environment first
+$ git clone https://github.com/LearningOS/rCore-Tutorial-Code-2023S.git
+$ cd rCore-Tutorial-Code-2023S
+$ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2023S.git user
+$ cd os
+$ git checkout ch$ID
+# run OS in ch$ID
+$ make run
+```
+Notice: $ID is from [1-9]
+
+### Grading
+
+```bash
+# setup build&run environment first
+$ git clone https://github.com/LearningOS/rCore-Tutorial-Code-2023S.git
+$ cd rCore-Tutorial-Code-2023S
+$ rm -rf ci-user
+$ git clone https://github.com/LearningOS/rCore-Tutorial-Checker-2023S.git ci-user
+$ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2023S.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]