node replicated kernel

节点复制的内核

节点复制的核是用于X86-64（AMD64）机器的（实验性的）研究OS内核。您可以在这里阅读更多有关它的信息。

安装

结帐源树

1. git clone <repo-url> nrk
2. cd nrk
3. 注意：如果您没有机器的SSH键在GitHub帐户中注册，则需要将子模块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上创建拉动请求。