bIgBV / xv6-virtioLinks
A virtio layer for xv6
☆11Updated 6 years ago
Alternatives and similar repositories for xv6-virtio
Users that are interested in xv6-virtio are comparing it to the libraries listed below
Sorting:
- A network stack implementation for xv6 OS☆34Updated 6 years ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated this week
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆17Updated 4 months ago
- Proof-of-concept implementation for the paper "ThermalScope: A Practical Interrupt Side Channel Attack Based On Thermal Event Interrupts"…☆12Updated 8 months ago
- Implementation of the Slab Allocator as described in "The Slab Allocator: An Object-Caching Kernel Memory Allocator" by Jeff Bonwick.☆36Updated 11 years ago
- raid is a GDB-like tiny debugger which is based on ptrace.☆15Updated 3 years ago
- A simple serial console utility☆16Updated 2 years ago
- A tool of translating virtual address of user space to physical address.☆21Updated 8 years ago
- A Small RISC-V Virtual Machine☆83Updated 3 years ago
- ☆52Updated 3 years ago
- ☆40Updated last month
- A compiler for a subset of C11 language. Under development...☆12Updated last year
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- Performance Counter Measurements at the cycle granularity☆18Updated 4 years ago
- __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC☆47Updated last year
- [WIP] Interval Analysis on LLVM IR☆12Updated 5 years ago
- ☆12Updated 3 years ago
- Proof-of-concept implementation for the paper "SegScope: Probing Fine-grained Interrupts via Architectural Footprints" (HPCA'24)☆19Updated 8 months ago
- Hypervisor from scratch in linux☆14Updated 3 years ago
- ☆20Updated 3 years ago
- An experimental RTOS written in Rust.☆37Updated 2 years ago
- hypercraft is a VMM library written in Rust.☆51Updated 10 months ago
- Bootsector loading binary file from FAT32 partition☆23Updated 7 years ago
- A virtual machine monitor for the seL4 microkernel☆40Updated this week
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- notes about glibc, ld-so and more.☆39Updated 4 years ago
- Virtual Machine eXtension for JOS☆23Updated 11 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆21Updated 2 weeks ago