brandenburg / schedcat

Related projects: ⓘ

• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆49Updated 4 months ago
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆89Updated 2 weeks ago
• CSL-KU / IsolBench
  A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,
  ☆13Updated last month
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆39Updated 4 months ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 2 years ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆48Updated 3 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆91Updated 9 years ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆28Updated 11 months ago
• gchamp20 / RTOSBench
  ☆13Updated 4 months ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆51Updated last week
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆100Updated 2 weeks ago
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆38Updated 4 months ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆51Updated last month
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆45Updated 5 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆104Updated 4 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆71Updated 2 weeks ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆31Updated 3 years ago
• devicetree-org / lopper
  ☆31Updated last week
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆76Updated 6 years ago
• rntmancuso / jailhouse-rt
  BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
  ☆14Updated 3 years ago
• siemens / jailhouse-images
  Jailhouse demonstration and testing images
  ☆57Updated 7 months ago
• jserv / codezero
  Codezero Microkernel
  ☆105Updated 2 years ago
• ucb-bar / ccbench
  Memory System Microbenchmarks
  ☆60Updated last year
• NienfengYao / armv8-bare-metal
  ☆94Updated 5 years ago
• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆58Updated last year
• Xilinx / qemu-devicetrees
  Device trees used by QEMU to describe the hardware
  ☆42Updated 3 months ago
• efficios / barectf
  Generator of ANSI C tracers which output CTF data streams
  ☆62Updated 8 months ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• gwsystems / composite
  A component-based OS
  ☆184Updated 2 weeks ago
• riscvarchive / riscv-poky
  Port of the Yocto Project to the RISC-V ISA
  ☆62Updated 5 years ago