Freax13 / test-kernelLinks
☆13Updated 3 years ago
Alternatives and similar repositories for test-kernel
Users that are interested in test-kernel are comparing it to the libraries listed below
Sorting:
- Simple EFI bootloader☆47Updated last week
- New register allocator designed as a successor to regalloc2☆54Updated 2 weeks ago
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- Allows for proper and easy handling of volatile memory☆40Updated last year
- A lightweight, recoverable sandbox for executing untrusted RISC-V code in constrained environments☆53Updated 2 months ago
- program analysis for machine code☆36Updated 4 years ago
- Check that a crate builds without libstd☆25Updated 4 years ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Updated 6 months ago
- Finding ownership bugs at scale.☆21Updated last week
- An async allocator with Fun™️ unsafe Rust☆17Updated 2 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆32Updated last week
- Rust compile-time type information experiment☆18Updated 2 years ago
- DWARF program analysis crate☆24Updated last year
- ☆91Updated last year
- Easy SMT solver interaction☆34Updated 4 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Extremely minimal parser for ELF/PE/Mach-o/ar☆41Updated 4 years ago
- Higher level LLDB bindings for Rust built on lldb-sys.☆59Updated 9 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated last month
- Rust bindings for libgccjit☆26Updated this week
- A dynamic binary tracing tool☆67Updated 3 years ago
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- Experimenting with Rust's fundamental data model☆54Updated last month
- A reasonable theorem prover for your reasoning tasks!☆26Updated 10 months ago
- Baremetal Backtracing on RISC-V☆16Updated 4 years ago
- drop-in replacement for libfuzzer☆72Updated 3 months ago
- Rust crates with map and set with interval keys (ranges x..y).☆14Updated 10 months ago
- Simple monolithic kernel written in Rust for x86-64☆24Updated 9 months ago
- Proc macro implementation of #[naked]☆32Updated 2 years ago
- A C expression parser and evaluator☆49Updated 2 years ago