Alternatives and similar repositories for self-healing_FreeRTOS

Users that are interested in self-healing_FreeRTOS 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 6 years ago
• jserv / codezero
  Codezero Microkernel
  ☆112Updated 3 years ago
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆134Updated 7 years ago
• rtmux / rtmux
  A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.
  ☆46Updated 10 years ago
• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆40Updated 3 years ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆76Updated 6 years ago
• HawxChen / Linux-Kernel-Driver-Programming
  Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization
  ☆54Updated 8 years ago
• ReconOS / reconos
  ReconOS - Operating System for Reconfigurable Hardware
  ☆29Updated 3 years ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆53Updated 11 years ago
• cornell-brg / pydgin
  A (Py)thon (D)SL for (G)enerating (In)struction set simulators.
  ☆166Updated 7 years ago
• intel / meta-intel-iot-security
  A collection of loosely related OpenEmbedded layers providing several security technologies
  ☆37Updated 3 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆175Updated 5 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆43Updated 6 years ago
• warclab / dyract
  DyRACT Open Source Repository
  ☆16Updated 9 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆24Updated last month
• tomx4096 / baremetal-lwip
  OS-free port of LwIP stack to ARM board with lan91c111 ethernet controller
  ☆15Updated 4 years ago
• jkovacic / FreeRTOS-GCC-ARM926ejs
  A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard
  ☆92Updated last year
• deadsy / pycs
  Python Based ARM CoreSight Debug and Trace Tools
  ☆77Updated 2 years ago
• hardenedlinux / embedded-iot_profile
  embedded-iot_profile
  ☆105Updated 5 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• emmericp / talk-drivers-in-high-level-languages
  Slides for the various variants of our talk about user space drivers in high-level languages.
  ☆12Updated 6 years ago
• Samsung / mTower
  mTower is Trusted Execution Environment specially designed to be used on MicroController Units (MCUs) supporting ARM TrustZone technology…
  ☆62Updated 4 months ago
• avatarone / avatar-gdbstub
  GDB stub that allows debugging of embedded devices
  ☆33Updated 10 years ago
• BabbleSim / base
  BabbleSim base/common components. Any BabbleSim user will want some of these.
  ☆17Updated 3 weeks ago
• lecopzer / rtenv-plus
  Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3
  ☆11Updated 7 years ago
• erincandescent / elfload
  An ELF loader for embedded systems.
  ☆156Updated 7 years ago
• seL4 / camkes-vm-examples
  ☆17Updated last month
• eblot / newlib
  Sourceware.org's Newlib mirror with clang support for ARM baremetal
  ☆72Updated 12 years ago
• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆46Updated 3 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆38Updated 2 years ago