ssrg-vt / popcorn-compiler

Related projects: ⓘ

• mit-pdos / ward
  ☆30Updated 2 years ago
• intel / mOS
  ☆132Updated 4 months ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆155Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆79Updated 5 years ago
• LinuxPerfStudy / LEBench
  ☆58Updated 2 months ago
• intel / intel-sdsi
  ☆48Updated 4 months ago
• ix-project / dune
  ☆31Updated 6 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆68Updated 5 years ago
• matsud224 / raspvisor
  A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)
  ☆50Updated 4 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆84Updated last year
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆21Updated last year
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆43Updated 2 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆27Updated 6 years ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆35Updated 4 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆27Updated 2 weeks ago
• HewlettPackard / criu-pmem
  ☆17Updated 4 years ago
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆49Updated 4 months ago
• LLNL / umap
  User-space Page Management
  ☆102Updated last month
• riscv-non-isa / riscv-brs
  The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…
  ☆38Updated last month
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆40Updated 2 years ago
• multifacet / 0sim-workspace
  Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
  ☆20Updated 4 years ago
• antonblanchard / will-it-scale
  ☆66Updated 8 months ago
• rust-vmm / vmm-sys-util
  Helpers and utilities used by multiple rust-vmm components and VMMs
  ☆78Updated 2 weeks ago
• RIKEN-SysSoft / PiP
  Process-in-Process
  ☆17Updated 3 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆51Updated last week
• hgst / libnvme
  User level NVMe driver library
  ☆61Updated 2 years ago
• intel / idxd-config
  Accel-config / libaccel-config
  ☆58Updated last month
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆40Updated last week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago