ssrg-vt / popcorn-compilerLinks
Popcorn Linux compiler toolchain for heterogeneous-ISA execution
☆43Updated last year
Alternatives and similar repositories for popcorn-compiler
Users that are interested in popcorn-compiler are comparing it to the libraries listed below
Sorting:
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- ☆30Updated 3 years ago
- ☆137Updated last month
- musl libc for RISC-V☆83Updated 6 years ago
- ☆48Updated 7 months ago
- ☆21Updated last year
- User level NVMe driver library☆65Updated 3 years ago
- NOVA userland☆48Updated 11 years ago
- ☆31Updated 6 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆41Updated last week
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 5 years ago
- Process-in-Process☆17Updated 4 years ago
- K42 Kernel☆27Updated 13 years ago
- framework for emulating devices in userspace☆174Updated 9 months ago
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆51Updated 4 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- Many Threads Operating System☆18Updated 3 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆66Updated 6 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 2 months ago
- QEMU with support for CHERI☆58Updated last month
- ☆17Updated 5 years ago
- Nautilus Aerokernel☆46Updated 3 years ago
- DAMON user-space tool☆43Updated this week
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆64Updated 7 months ago
- Experimental kernel with built-in replication.☆158Updated last year
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆63Updated last year
- User-space Page Management☆107Updated 9 months ago
- Documentation and diagnostic utilities for running Linux perf on AMD hardware☆32Updated 4 years ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆80Updated 2 weeks ago