generated from LearningOS/rCore-Tutorial-Code-2024S
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 6814c05
Showing
2 changed files
with
78 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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-2024S' | ||
runs-on: ubuntu-latest | ||
steps: | ||
- uses: actions/checkout@v1 | ||
- name: Mirror + trigger CI | ||
uses: tkf2019/gitlab-mirror-and-ci-action@master | ||
with: | ||
args: "https://git.tsinghua.edu.cn/os-lab/2024s/public/rcore-tutorial-code-2024s" | ||
env: | ||
GITLAB_HOSTNAME: "git.tsinghua.edu.cn" | ||
GITLAB_PROJECT_ID: "29091" | ||
GITLAB_PROJECT_NAME: "rcore-tutorial-code-2024s" | ||
GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}} | ||
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,54 @@ | ||
# rCore-Tutorial-Code-2024S | ||
|
||
### Code | ||
- [Soure Code of labs for 2024S](https://github.com/LearningOS/rCore-Tutorial-Code-2024S) | ||
### Documents | ||
|
||
- Concise Manual: [rCore-Tutorial-Guide-2024S](https://LearningOS.github.io/rCore-Tutorial-Guide-2024S/) | ||
|
||
- Detail Book [rCore-Tutorial-Book-v3](https://rcore-os.github.io/rCore-Tutorial-Book-v3/) | ||
|
||
|
||
### OS API docs of rCore Tutorial Code 2024S | ||
- [OS API docs of ch1](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch1/os/index.html) | ||
AND [OS API docs of ch2](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch2/os/index.html) | ||
- [OS API docs of ch3](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch3/os/index.html) | ||
AND [OS API docs of ch4](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch4/os/index.html) | ||
- [OS API docs of ch5](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch5/os/index.html) | ||
AND [OS API docs of ch6](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch6/os/index.html) | ||
- [OS API docs of ch7](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch7/os/index.html) | ||
AND [OS API docs of ch8](https://learningos.github.io/rCore-Tutorial-Code-2024S/ch8/os/index.html) | ||
- [OS API docs of ch9](https://learningos.github.io/rCore-Tutorial-Code-2024S/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-2024S.git | ||
$ cd rCore-Tutorial-Code-2024S | ||
$ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2024S.git user | ||
$ git checkout ch$ID | ||
$ cd os | ||
# 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-2024S.git | ||
$ cd rCore-Tutorial-Code-2024S | ||
$ rm -rf ci-user | ||
$ git clone https://github.com/LearningOS/rCore-Tutorial-Checker-2024S.git ci-user | ||
$ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2024S.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] |