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
  ☆56Updated 2 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆18Updated 3 years ago
• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆39Updated 3 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 3 years ago
• projectacrn / acrn-kernel
  Kernel tree for ACRN
  ☆97Updated 2 months ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 9 years ago
• seL4 / sel4test
  Test suite for seL4.
  ☆30Updated last week
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆52Updated this week
• tacle / tacle-bench
  TACLe Benchmarks
  ☆54Updated last month
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆56Updated 4 months ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• seL4 / seL4_projects_libs
  ☆18Updated 4 months ago
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆52Updated this week
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆33Updated last week
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 4 years ago
• eembc / coremark-pro
  Containing dozens of real-world and synthetic tests, CoreMark®-PRO (2015) is an industry-standard benchmark that measures the multi-proce…
  ☆211Updated last year
• opencomputeproject / OpenSystemFirmware
  Open Systems Firmware (OSF)
  ☆77Updated 2 years ago
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆91Updated 3 months ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆50Updated 4 years ago
• CHERIoT-Platform / cheriot-rtos
  The RTOS components for the CHERIoT research platform
  ☆156Updated this week
• intel / iotg_tsn_ref_sw
  IOTG Time-Sensitive Networking Reference Software
  ☆152Updated 5 months ago
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆17Updated 9 months ago
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆23Updated last month
• efficios / babeltrace
  Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.
  ☆108Updated last week
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆47Updated 3 years ago
• devicetree-org / lopper
  ☆48Updated this week
• openssd / jasmine
  Firmware for the Jamine OpenSSD platform
  ☆53Updated 3 years ago
• radii / devmem2
  devmem2 - simple program to read/write from/to any location in memory.
  ☆41Updated 11 years ago
• ARM-software / workload-automation
  A framework for automating workload execution and measurement collection on ARM devices.
  ☆163Updated last week