ssrg-vt / popcorn-compiler
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
- ☆30Updated 3 years ago
- Nautilus Aerokernel☆45Updated 2 years ago
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- Many Threads Operating System☆18Updated 3 years ago
- musl libc for RISC-V☆83Updated 5 years ago
- K42 Kernel☆27Updated 12 years ago
- NOVA userland☆48Updated 11 years ago
- ☆137Updated last week
- ☆48Updated 5 months ago
- A Shell to parse ELF files☆19Updated last year
- Kernel-Mode-Linux☆24Updated 2 years ago
- Virtualisation platform using CHERI for isolation and sharing☆37Updated 10 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆31Updated 6 years ago
- Process-in-Process☆17Updated 4 years ago
- ☆47Updated 2 years ago
- RedLeaf Operating System☆123Updated 2 years ago
- Wult stands for "Wake Up Latency Tracer", and this is a project that provides tools for measuring C-state latency in Linux.☆25Updated last week
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆52Updated 4 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆22Updated last year
- QEMU with support for CHERI☆58Updated last week
- User space POSIX-like file system in main memory☆38Updated 8 years ago
- DAMON user-space tool☆33Updated this week
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆66Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆59Updated 5 months ago
- User level NVMe driver library