Lind-Project/safeposix-rust

Rust implementation of SafePOSIX

RustPOSIX

More implementation details could be found at wiki.

Contents

• Home
• Architecture
• Interface
• Run Independently
• Security Model
• Style Guide
• Testing and Debugging

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