Mocking PCI devices in a User Mode Linux environment
☆37Jun 15, 2017Updated 9 years ago
Alternatives and similar repositories for pci-mock
Users that are interested in pci-mock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Sep 24, 2024Updated last year
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated 2 months ago
- implement PCIE devices using C or VHDL and test them against a QEMU virtualized architecture☆109Jun 23, 2018Updated 8 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆20Jan 13, 2025Updated last year
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A version of Griffin used to provide program traces☆15Sep 2, 2020Updated 5 years ago
- Example of how to trace mmap page faults in linux☆20Mar 15, 2022Updated 4 years ago
- Tools and test code to help understand libunwind☆23Jun 2, 2020Updated 6 years ago
- PCI device for qemu with mmio, pio, dma☆79Dec 1, 2016Updated 9 years ago
- Clang environment configured as a cross-compiler for ARMv4 & ARMv5 without any GCC dependency☆12Jan 8, 2018Updated 8 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated 2 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Pure haskell implementation of macaroons☆14Jan 26, 2021Updated 5 years ago
- ☆11Feb 11, 2022Updated 4 years ago
- Bare metal SDK for i.MX6 Q/D/DL/S/SL☆12Apr 1, 2018Updated 8 years ago
- 코로나-19 에 대한 확진/완치/사망 에 대한 국내, 해외 정보를 수집합니다. Data scrapes Covid-19 Confirmed/Cured/Deceases Cases.☆10Jun 6, 2021Updated 5 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Feb 21, 2016Updated 10 years ago
- A micro js library for formatting numbers with thousands separator☆13Jan 17, 2017Updated 9 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- indentation with semicolons☆11Feb 5, 2015Updated 11 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- Library to iterate over webm files using Rust☆15Dec 12, 2024Updated last year
- Extensions to Go's testing/iotest package☆12Feb 13, 2016Updated 10 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Deprecated in favor of todobackend-haskell☆10Aug 24, 2015Updated 10 years ago
- Spreadsheet demo in Haskell☆16Feb 21, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Sep 18, 2018Updated 7 years ago
- Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization☆11May 18, 2024Updated 2 years ago
- A Nodejs NES emulator.☆12Aug 12, 2017Updated 9 years ago
- ☆23Nov 16, 2023Updated 2 years ago
- ☆16Jun 10, 2026Updated 2 months ago
- Another wasm interpreter engine for gophers based on pure golang☆11Updated this week
- The website for the Hematite project☆10Mar 7, 2015Updated 11 years ago