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
  ☆54Updated last month
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated last month
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• seL4 / seL4_projects_libs
  ☆18Updated last month
• eembc / coremark-pro
  Containing dozens of real-world and synthetic tests, CoreMark®-PRO (2015) is an industry-standard benchmark that measures the multi-proce…
  ☆204Updated last year
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• projectacrn / acrn-kernel
  Kernel tree for ACRN
  ☆97Updated 6 months ago
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆90Updated last week
• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆40Updated 3 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆50Updated 10 months ago
• seL4 / sel4test
  Test suite for seL4.
  ☆28Updated 3 weeks ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 4 years ago
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆17Updated 5 months ago
• jonmason / meta-arm
  OpenEmbedded/Yocto Layer for Arm
  ☆19Updated this week
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated 3 weeks ago
• opencomputeproject / OpenSystemFirmware
  Open Systems Firmware (OSF)
  ☆76Updated 2 years ago
• rntmancuso / jailhouse-rt
  BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
  ☆16Updated 4 years ago
• ARM-software / lisa
  Linux Integrated System Analysis
  ☆205Updated this week
• DFC-OpenSource / ox-ctrl
  OX: Computational Storage SSD Controller
  ☆53Updated 6 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
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated last year
• efficios / babeltrace
  Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.
  ☆106Updated last month
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆32Updated 3 weeks ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆47Updated 3 years ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆34Updated last week
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆55Updated last month
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆47Updated this week
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆49Updated 3 weeks ago