Alternatives and similar repositories for RTOS-Kernel-for-ARM

Users that are interested in RTOS-Kernel-for-ARM are comparing it to the libraries listed below

• rtmux / rtmux
  A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.
  ☆46Updated 11 years ago
• embedded2015 / freertos-basic
  Basic integrated FreeRTOS
  ☆17Updated 10 years ago
• prattmic / F4OS
  A small RTOS for ARM Cortex-M4F microcontrollers.
  ☆86Updated 7 years ago
• embedded2014 / rtenv-plus
  Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3
  ☆23Updated 11 years ago
• jameswalmsley / FreeRTOS
  Git Import of the FreeRTOS SVN repository.
  ☆43Updated 10 years ago
• lepton-distribution / lepton
  Automatically exported from code.google.com/p/lepton
  ☆26Updated 7 months ago
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆135Updated 7 years ago
• afaerber / afboot-stm32
  Tiny Linux bootloader for the STM32F429-Discovery
  ☆50Updated 10 years ago
• payne92 / bare-metal-arm
  A "bare metal" ARM runtime example built with the GCC toolchain
  ☆125Updated 10 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 3 years ago
• brunoluiz / bbb-preempt-rt-kernel-patch
  ⚙️ BeagleBone Black PREEMPT RT patch using OSADL patches and linux 3.12
  ☆11Updated 10 years ago
• djboni / librertos
  LibreRTOS C/C++ Portable Single-Stack RTOS
  ☆42Updated 2 years ago
• lwalkera / lwBT
  A fork of the lwBT stack
  ☆53Updated 16 years ago
• beagleboard / meta-beagleboard
  Support for beagleboard.org devices
  ☆73Updated 11 years ago
• starnight / MicroHttpServer
  Simple HTTP Server which implements partial HTTP 1.1
  ☆55Updated last year
• PelionIoT / mbed-trace
  mbed trace library
  ☆18Updated last year
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• stef / stfs
  st filesystem for embedded flash systems
  ☆12Updated 8 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• eblot / newlib
  Sourceware.org's Newlib mirror with clang support for ARM baremetal
  ☆72Updated 12 years ago
• jserv / dummy-driver
  dummy Linux kernel module for education purpose
  ☆12Updated 10 years ago
• jollen / rtos-wot
  Open source FreeRTOS SDK for ESP8266 WiFi Module
  ☆29Updated 7 years ago
• google / dtask
  DTask is a scheduler for statically dependent tasks.
  ☆27Updated 7 years ago
• oosmos / oosmos
  OOSMOS - The Object Oriented State Machine Operating System.
  ☆68Updated last year
• uvc-ingenieure / kconfig-frontends
  Linux Kernel configuration tools - Windows Port
  ☆21Updated 11 years ago
• sony / openocd-nuttx
  Fork of OpenOCD with NuttX thread support.
  ☆24Updated 6 years ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆77Updated 6 years ago
• alexeyk13 / mkernel
  M-Kernel embedded RTOS
  ☆14Updated 12 years ago
• awesomebytes / xenorasp
  Raspberry Pi with Xenomai using Ipipe patches
  ☆19Updated 11 years ago
• embedded2014 / rtenv
  minimal real-time environment for ARM Cortex-M3
  ☆18Updated 11 years ago