The sysroot manager that lets you build and customize `std`
The 'xargo-check' binary is provided by the 'xargo' package. Use `cargo install xargo --bin xargo-check`.
Zero setup cross compilation and cross testing
Builds the sel4 kernel and generates Rust bindings around it, as configured by a feL4 manifest
A command line tool for automating your embedded development workflow.
Automatically cross-compiles the sysroot crates core, compiler_builtins, and alloc.
A Board Support Package (BSP) which provides a type-safe API for the WEMOS/LOLIN D1 mini
Hi3XXX MPP API for Rust bindings.
NO-STD,for Cortex-M based systems,simply retarget alloc_system to malloc/realloc/free
Hi35XX MPI API for Rust unsafe bindings.
A cargo subcommand for automating feL4 (seL4 for Rust) development
A parser for CMakeCache.txt files