Alternatives and similar repositories for RT-Xen

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

• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆17Updated 3 years ago
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆56Updated 2 months ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆54Updated 3 weeks ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated 3 months ago
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆52Updated last month
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• seL4 / seL4_projects_libs
  ☆18Updated 3 months ago
• efficios / babeltrace
  Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.
  ☆108Updated 2 months ago
• intel / idxd-driver
  ☆21Updated last year
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆56Updated 4 months ago
• Xilinx / nanotube
  ☆105Updated 2 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆51Updated 3 months ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• projectacrn / acrn-kernel
  Kernel tree for ACRN
  ☆97Updated last month
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆44Updated 3 weeks ago
• seL4 / sel4test
  Test suite for seL4.
  ☆28Updated 3 months ago
• aliireza / slice-aware
  Slice-aware Memory Management - Exploiting NUCA Characteristic of LLC in Intel Processors
  ☆41Updated 6 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 7 months ago
• DFC-OpenSource / ox-ctrl
  OX: Computational Storage SSD Controller
  ☆53Updated 9 months ago
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆23Updated last 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…
  ☆73Updated this week
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆16Updated 5 years ago
• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆39Updated 3 years ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 9 years ago
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆17Updated 8 months ago
• stephand / ptlsim
  Stable, non-KVM version of PTLsim.
  ☆29Updated 9 years ago
• pmem / run_qemu
  A script to create bootable OS images, and run qemu with a locally built kernel.
  ☆72Updated last week
• NetTLP / libtlp
  A library for PCIe Transaction Layer
  ☆60Updated 3 years ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆50Updated 4 years ago