BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

libsel4-sys

v0.5.2crates.io· Rust

Builds the sel4 kernel and generates Rust bindings around it, as configured by a feL4 manifest

The verdict
Abandoned. Last published 7 years ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published 7 years ago.
Popularity
1 downloads / week
Security
No known advisories for this version (OSV).
License
non-standard
Dependencies
No runtime dependencies
Recent releases
  • 0.5.27 years ago
  • 0.5.17 years ago
libsel4-sys — Builds the sel4 kernel and generates Rust bindings around it, as configured by a feL4 manifest (Rust / crates.io) — verdict, alternatives & security · Modules