Alternatives and similar repositories for RT-Xen:

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

• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆51Updated 3 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated 2 weeks ago
• devicetree-org / lopper
  ☆39Updated this week
• ce-bu / meta-observability
  Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace
  ☆16Updated 2 years ago
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆20Updated last month
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆47Updated 3 months ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆49Updated 4 years ago
• seL4 / sel4test
  Test suite for seL4.
  ☆26Updated 3 weeks ago
• josecm / rocket-chip
  Rocket Chip Generator
  ☆10Updated 3 years ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆49Updated 2 years ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• IntelLabs / c3-simulator
  C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…
  ☆18Updated last month
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆17Updated last month
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆54Updated last month
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆30Updated last week
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆34Updated last month
• jlelli / rt-tests
  Public tracking Clark Williams' rt-tests suite
  ☆63Updated last year
• rntmancuso / jailhouse-rt
  BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
  ☆16Updated 4 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last month
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 7 months ago
• evidence / linux-jailhouse-jetson
  Jailhouse hypervisor for Nvidia Jetson TX1 and TX2
  ☆29Updated 6 years ago
• calinyara / avisor
  aVisor: A Tiny Hypervisor for Raspberry Pi
  ☆33Updated last year
• tacle / tacle-bench
  TACLe Benchmarks
  ☆42Updated 5 months ago
• unikraft / lib-musl
  musl: A C standard library
  ☆11Updated this week
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆27Updated 3 months ago
• LVPGroup / arinc653model
  A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
  ☆9Updated 8 years ago