diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml new file mode 100644 index 000000000..aeee33be4 --- /dev/null +++ b/.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}} \ No newline at end of file diff --git a/README.md b/README.md new file mode 100644 index 000000000..3b785054a --- /dev/null +++ b/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] \ No newline at end of file