/safeposix-rust

Rust implementation of SafePOSIX

Primary LanguageRustApache License 2.0Apache-2.0

RustPOSIX Build Status

More implementation details could be found at wiki.

Contents

Run RustPOSIX-Rust

Quick start Use Develop branch for the most stable behaviour.

docker build -t --platform <your platform> <image_name> .devcontainer
docker run -it <image_name>

This will create a quick container with rustposix build at your local changes. helpful for exploration and easy testing.

See reference at Run RustPOSIX Independently

Test RustPOSIX-Rust

Use main branch for the most stable behaviour.

cargo build
cargo test --lib

See reference at Testing and Debugging

Development Guideline

  • All PRs should be merged to the Develop branch

  • Any imports from the standard library or any crates should be done in an interface file

More detailed guideline will be in RustPOSIX's wiki