Alternatives and similar repositories for RT-Xen

Users that are interested in RT-Xen are comparing it to the libraries listed below

• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆38Updated 3 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆46Updated 7 months ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆52Updated last month
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 3 weeks ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆49Updated 4 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• seL4 / sel4test
  Test suite for seL4.
  ☆28Updated 3 weeks ago
• pmem / run_qemu
  A script to create bootable OS images, and run qemu with a locally built kernel.
  ☆67Updated 2 weeks ago
• NetTLP / libtlp
  A library for PCIe Transaction Layer
  ☆58Updated 3 years ago
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆49Updated last week
• intel / idxd-driver
  ☆20Updated last year
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated 3 weeks ago
• rntmancuso / jailhouse-rt
  BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
  ☆17Updated 4 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated 3 weeks ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆47Updated 3 years ago
• RSPwFPGAs / virtio-fpga
  A platform for emulating Virtio devices with FPGAs
  ☆26Updated 4 years ago
• eembc / telebench
  TeleBench™ is a suite of benchmarks that allows the users to approximate the performance of processors in modem and related fixed-telecom…
  ☆12Updated 4 years ago
• uclasystem / Mako
  Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.
  ☆14Updated 9 months ago
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆69Updated last year
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆52Updated this week
• FAST-UIUC / iat-pqos
  Enhanced PQOS (Intel RDT Software) with DDIO-related Functionalities
  ☆15Updated 3 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 9 months ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆16Updated this week
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆17Updated 3 months ago
• pavel-a / devmemX
  Program to read/write from/to any location in physical memory (cloned from devmem or devmem2). See wiki.
  ☆18Updated 5 years ago
• projectacrn / acrn-kernel
  Kernel tree for ACRN
  ☆97Updated 4 months ago