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
  ☆49Updated 2 weeks ago
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆11Updated 2 years ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆48Updated 3 years ago
• seL4 / camkes-arm-vm
  ☆11Updated 4 years ago
• josecm / rocket-chip
  Rocket Chip Generator
  ☆10Updated 3 years ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆88Updated 2 weeks ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆44Updated this week
• NetTLP / libtlp
  A library for PCIe Transaction Layer
  ☆54Updated 2 years ago
• RSPwFPGAs / virtio-fpga
  A platform for emulating Virtio devices with FPGAs
  ☆25Updated 3 years ago
• Suqier / RT-Hypervisor
  RT-Hypervisor: A real-time hypervisor for automotive embedded system
  ☆10Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆41Updated 2 months ago
• rntmancuso / jailhouse-rt
  BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
  ☆16Updated 3 years ago
• calinyara / avisor
  aVisor: A Tiny Hypervisor for Raspberry Pi
  ☆31Updated last year
• lfd / XtratuM
  XtratuM Mirror
  ☆15Updated 7 years ago
• seL4 / sel4test
  Test suite for seL4.
  ☆25Updated last month
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆46Updated 2 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆45Updated 5 months ago
• embecosm / mibench
  The MiBench testsuite, extended for use in general embedded environments
  ☆87Updated 12 years ago
• awilliam / tests
  Random test code
  ☆18Updated 4 months ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆53Updated 2 weeks ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated last month
• pmem / run_qemu
  A script to create bootable OS images, and run qemu with a locally built kernel.
  ☆62Updated this week
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• FAST-UIUC / iat-pqos
  Enhanced PQOS (Intel RDT Software) with DDIO-related Functionalities
  ☆15Updated 2 years ago