Alternatives and similar repositories for schedcat

Users that are interested in schedcat are comparing it to the libraries listed below

• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆113Updated 3 weeks ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆54Updated last month
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆56Updated 2 months ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆50Updated 4 years ago
• siemens / jailhouse-images
  Jailhouse demonstration and testing images
  ☆64Updated last year
• gwsystems / composite
  A component-based OS
  ☆196Updated 10 months ago
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆45Updated last month
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• scheduler-tools / rt-app
  rt-app emulates typical mobile and real-time systems use cases and gives runtime information
  ☆136Updated 3 months ago
• NienfengYao / armv8-bare-metal
  ☆112Updated 6 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆109Updated 10 years ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 4 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆177Updated 5 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆56Updated 4 months ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆217Updated 3 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆130Updated 3 years ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆57Updated 5 months ago
• CSL-KU / IsolBench
  A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,
  ☆17Updated last month
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆91Updated 3 months ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆77Updated 6 years ago
• Xilinx / qemu
  Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.
  ☆278Updated 3 weeks ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆148Updated last week
• gchamp20 / RTOSBench
  ☆18Updated last year
• antonblanchard / will-it-scale
  ☆82Updated last year
• project-dune / dune
  ☆209Updated 3 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 3 years ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆596Updated 3 weeks ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆82Updated 7 years ago
• jcsaezal / pmctrack
  PMCTrack: an OS-oriented performance monitoring tool for Linux
  ☆68Updated last year