Alternatives and similar repositories for RT-Xen

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

• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆53Updated this week
• opendcdiag / opendcdiag
  OpenDCDiag is an open-source project designed to identify defects and bugs in CPUs. It consists of a set of tests built around a sophisti…
  ☆69Updated this week
• projectacrn / acrn-kernel
  Kernel tree for ACRN
  ☆97Updated 5 months ago
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆51Updated 2 weeks ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• jlgreathouse / AMD_IBS_Toolkit
  AMD Research Instruction Based Sampling Toolkit
  ☆87Updated 4 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated this week
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• calinyara / avisor
  aVisor: A Tiny Hypervisor for Raspberry Pi
  ☆34Updated last year
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆31Updated last week
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated this week
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆50Updated 4 years ago
• dornerworks / xen-rpi4-builder
  ☆59Updated 2 years ago
• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆38Updated 3 years ago
• ARM-software / devlib
  Library for interaction with and instrumentation of remote devices.
  ☆51Updated last month
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago
• ARM-software / workload-automation
  A framework for automating workload execution and measurement collection on ARM devices.
  ☆158Updated last month
• oasis-tcs / virtio-spec
  OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…
  ☆274Updated last week
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆91Updated last month
• Xilinx / qemu
  Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.
  ☆268Updated last month
• pmem / run_qemu
  A script to create bootable OS images, and run qemu with a locally built kernel.
  ☆70Updated last month
• quic / gunyah-resource-manager
  A Root VM supporting virtualization with the Gunyah Hypervisor.
  ☆19Updated 9 months ago
• seL4 / seL4_projects_libs
  ☆19Updated this week
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆45Updated last month
• intel-gpu / kernel
  ☆23Updated 2 years ago
• intel / meta-acrn
  Layer to integrate the ACRN hypervisor with the Yocto Project.
  ☆24Updated 2 months ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago