ssrg-vt / popcorn-compilerLinks
Popcorn Linux compiler toolchain for heterogeneous-ISA execution
☆49Updated 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:
- ☆141Updated 6 months ago
- ☆30Updated 3 years ago
- K42 Kernel☆31Updated 13 years ago
- Popcorn Linux kernel for distributed thread execution☆167Updated 2 years ago
- McKernel☆120Updated last month
- ☆48Updated 11 months ago
- QEMU with support for CHERI☆61Updated 2 weeks ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆17Updated 3 years ago
- musl libc for RISC-V☆84Updated 6 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- Nautilus Aerokernel☆47Updated 3 years ago
- Rust RISC-V Virtual Machine☆109Updated 2 months ago
- Assemble 128-bit RISC-V☆46Updated last year
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- NOVA userland☆48Updated 11 years ago
- Mirror of the official Barrelfish OS repository.☆215Updated 2 years ago
- A MIPS port of xv6☆79Updated 9 years ago
- LLVM backend for OpenRISC 1000☆29Updated 7 years ago
- Working Draft of the RISC-V J Extension Specification☆191Updated 2 weeks ago
- Fork of LLVM adding CHERI support☆59Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 3 months ago
- Kitten Lightweight Kernel☆55Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- User-space Page Management☆108Updated last year
- ☆33Updated 7 years ago
- AMD Research Instruction Based Sampling Toolkit☆91Updated 4 years ago
- Documentation of the RISC-V C API☆77Updated this week
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆54Updated this week
- Prototype no-assurance reference OS personality built on seL4☆50Updated 7 months ago
- KVM RISC-V HowTOs☆47Updated 3 years ago