auxoncorp / selfe-sys

A generated thin wrapper around libsel4.a, with supporting subcrates.

auxoncorp/selfe-sys Issues

Example configuration files out of date
Updated 2 years ago3
Use upstream seL4 repositories in the example
Closed 3 years ago
Toolchain links used by the tests are broken
Closed 3 years ago
Can't run the test script due to invalid Cargo.lock file
Closed 3 years ago
Building the x86_64 pc99 platform in the tests fails to build the kernel due to a compiler warning
Closed 3 years ago1
selfe-arc test flapping in release builds
Closed 3 years ago
Use cargo's new feature resolver in place of the `cargo-5730` crate
Closed 3 years ago
Address the new lints picked up from the toolchain bump
Updated 3 years ago
Document the MSRV
Updated 3 years ago
Add a rust-toolchain file and document the required `cargo-xbuild` version
Updated 3 years ago
Migrate away from cargo-xbuild
Updated 3 years ago
selfe-arc doesn't work with LTO
Updated 5 years ago1
seL4 checkouts should be kept outside of target
Updated 5 years ago
Default sel4 platform detection broken for aarch64
Updated 5 years ago
Scaffold out stack size analysis
Updated 5 years ago
Automatically manage native toolchain
Updated 5 years ago
Update default sel4.toml settings
Closed 5 years ago1
Enhance selfe to perform binary packaging
Updated 5 years ago
Create a file archive crate inside the selfe-sys repo
Closed 5 years ago
Add CLI features to the file archive crate
Updated 5 years ago