node replicated kernel

節點複製的內核

節點複製的核是用於X86-64（AMD64）機器的（實驗性的）研究OS內核。您可以在這裡閱讀更多有關它的信息。

安裝

結帳源樹

1. git clone <repo-url> nrk
2. cd nrk
3. 注意：如果您沒有GITHUB帳戶註冊的機器的SSH鍵，則需要將子模塊URL轉換為HTTPS協議，以便運行： sed -i'' -e 's/[email protected]:/https://github.com//' .gitmodules
4. git submodule update --init

安裝依賴項

運行bash setup.sh ，這將安裝Linux上所需的依賴關係以構建和運行NRK。

構建和運行

1. cd kernel
2. python3 ./run.py

如果您只想編譯代碼，也可以使用--norun標誌執行run.py

發展

測試

運行內核的單元測試：

1. cd kernel
2. RUST_BACKTRACE=1 RUST_TEST_THREADS=1 cargo test --bin nrk

運行內核的集成測試：

1. cd kernel
2. RUST_TEST_THREADS=1 cargo test --features smoke --test integration-test

如果您想運行特定的集成測試，則可以通過-- ：

1. RUST_TEST_THREADS=1 cargo test --test integration-test -- --nocapture userspace_smoke

注意：由於依賴構建標誌進行測試，目前無法進行並行測試。

提交更改

更新最新主人：

1. git checkout master
2. git pull
3. git submodule update --init

創建一個新功能分支：

1. git checkout -b <BRANCH-NAME>
2. 更改代碼。

確保無警告的代碼編譯，正確格式化並通過測試：

1. cd kernel
2. bash commitable.sh

進行更改並推動

1. git add <CHANGED-FILES>
2. git commit
3. git push -u origin <BRANCH-NAME>
4. 在github上創建拉動請求。