CohenArthur / ftfLinks
Parallel Functional Testing framework, written in Rust
☆11Updated last year
Alternatives and similar repositories for ftf
Users that are interested in ftf are comparing it to the libraries listed below
Sorting:
- Jinko is a small and safe interpreted language with fast Rust and C FFI☆32Updated 6 months ago
- Exit QEMU with user-defined code☆48Updated 2 months ago
- Stack unwinding library in Rust☆120Updated 2 weeks ago
- Status Reports☆64Updated 2 weeks ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆167Updated 2 years ago
- The Hermit bootloader.☆77Updated 2 weeks ago
- Rust support for seL4 userspace☆160Updated this week
- saphIR is an Intermediate Representation with amd64 and arm64 backends. Also included: a compiler, an arm64 lifter, an arm64 to amd64 dyn…☆32Updated 4 years ago
- A full-featured FDT/DTB parser for embedded systems written in rust.☆16Updated last year
- A minimal Kernel written in Rust☆43Updated 7 months ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- Minimal support for uart_16550 serial output.☆36Updated 7 months ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆33Updated 11 months ago
- Rusty wrappers for Multiboot2.☆124Updated 3 weeks ago
- RISC-V OS written in Rust☆140Updated last year
- ☆13Updated last year
- Rust crate for Flattened Devicetree parsing☆48Updated 5 months ago
- QEMU for Rust, and Rust for QEMU☆72Updated last month
- A simple spinlock crate based on the abstractions provided by the `lock_api` crate.☆39Updated last year
- Crate with an example of a kernel module in Rust☆98Updated 2 years ago
- Useful types for dealing with PCI☆33Updated 8 months ago
- ☆87Updated last year
- A mininal runtime / startup for Supervisor Binary Interface (SBI) on RISC-V.☆19Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust