CohenArthur / ftf
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
- ☆11Updated 4 years ago
- A minimal Kernel written in Rust☆43Updated 5 months ago
- Exit QEMU with user-defined code☆45Updated last week
- Stack unwinding library in Rust☆117Updated this week
- Jinko is a small and safe interpreted language with fast Rust and C FFI☆32Updated 4 months ago
- Rust crate for Flattened Devicetree parsing☆47Updated 3 months ago
- Status Reports☆61Updated last week
- RISC-V OS written in Rust☆140Updated 10 months ago
- A full-featured FDT/DTB parser for embedded systems written in rust.☆16Updated last year
- Minimal support for uart_16550 serial output.☆36Updated 5 months ago
- Gaining support for cargo via rustc-wrapper☆26Updated last year
- Run UEFI applications☆95Updated 2 years ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆38Updated 4 years ago
- Library for parsing ELF files for Rust☆258Updated 2 months ago
- Rusty wrappers for Multiboot2.☆121Updated 3 weeks ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆33Updated 9 months ago
- Rust library to interface with the RISC-V Supervisor Binary Interface☆13Updated last week
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆163Updated 2 years ago
- The Hermit bootloader.☆74Updated this week
- Constant-time dynamic memory allocator in Rust☆93Updated last month
- A Rust library which is useful to handle xHCI☆44Updated 7 months ago
- The x86_64 UEFI bootloader for rCore☆44Updated 2 years ago
- PS/2 Keyboard Decoder in Rust☆105Updated 7 months ago
- NixOS Running on LicheePi 4A(RISC-V)☆41Updated 9 months ago
- Rust support for seL4 userspace☆141Updated 3 weeks ago
- Ergonomic Rust framework for writing UEFI applications.☆64Updated 3 months ago
- ☆99Updated 4 years ago
- ☆29Updated this week
- Useful types for dealing with PCI☆33Updated 6 months ago
- Library to program vga hardware.☆58Updated last year