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.
  ☆104Updated last month
• tacle / tacle-bench
  TACLe Benchmarks
  ☆45Updated 8 months ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆173Updated 5 years ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆56Updated this week
• gwsystems / composite
  A component-based OS
  ☆190Updated 5 months ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆49Updated 4 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆137Updated last week
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆53Updated this week
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆129Updated 3 years ago
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆42Updated 6 months ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆34Updated last week
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated last month
• scheduler-tools / rt-app
  rt-app emulates typical mobile and real-time systems use cases and gives runtime information
  ☆132Updated 3 months ago
• CSL-KU / IsolBench
  A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,
  ☆16Updated this week
• siemens / jailhouse-images
  Jailhouse demonstration and testing images
  ☆62Updated last year
• seL4 / util_libs
  ☆59Updated last week
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆91Updated 3 weeks ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆105Updated 10 years ago
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆45Updated last month
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆206Updated 2 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆66Updated 2 years ago
• QuestOS / quest
  The Quest Operating System
  ☆50Updated 7 months ago
• efficios / barectf
  Generator of ANSI C tracers which output CTF data streams
  ☆72Updated last week
• ARM-software / lisa
  Linux Integrated System Analysis
  ☆204Updated this week
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆74Updated 6 years ago
• Xilinx / qemu-devicetrees
  Device trees used by QEMU to describe the hardware
  ☆50Updated last week