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

• embedded2015 / freertos-basic
  Basic integrated FreeRTOS
  ☆17Updated 10 years ago
• embedded2014 / rtenv-plus
  Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3
  ☆23Updated 11 years ago
• rtmux / rtmux
  A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.
  ☆46Updated 10 years ago
• prattmic / F4OS
  A small RTOS for ARM Cortex-M4F microcontrollers.
  ☆83Updated 7 years ago
• afaerber / afboot-stm32
  Tiny Linux bootloader for the STM32F429-Discovery
  ☆47Updated 9 years ago
• hugovincent / mbed-freertos
  A real time operating system for ARM microcontrollers, built around the FreeRTOS kernel.
  ☆59Updated 14 years ago
• beagleboard / meta-beagleboard
  Support for beagleboard.org devices
  ☆70Updated 10 years ago
• jameswalmsley / FreeRTOS
  Git Import of the FreeRTOS SVN repository.
  ☆43Updated 10 years ago
• djboni / librertos
  LibreRTOS C/C++ Portable Single-Stack RTOS
  ☆40Updated last year
• PelionIoT / mbed-trace
  mbed trace library
  ☆18Updated 7 months ago
• raphui / rnk
  rnk is a RTOS targeting ARM architecture.
  ☆25Updated 2 weeks ago
• embedded2014 / freertos-plus
  Add-ons to FreeRTOS
  ☆13Updated 10 years ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆72Updated 6 years ago
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆134Updated 7 years ago
• stef / stfs
  st filesystem for embedded flash systems
  ☆12Updated 8 years ago
• ARMmbed / esp8266-driver
  Deprecated: outdated ESP8266 Mbed OS driver
  ☆15Updated 4 years ago
• jollen / rtos-wot
  Open source FreeRTOS SDK for ESP8266 WiFi Module
  ☆29Updated 7 years ago
• lepton-distribution / lepton
  Automatically exported from code.google.com/p/lepton
  ☆27Updated last month
• lwalkera / lwBT
  A fork of the lwBT stack
  ☆52Updated 15 years ago
• jserv / codezero
  Codezero Microkernel
  ☆108Updated 3 years ago
• awesomebytes / xenorasp
  Raspberry Pi with Xenomai using Ipipe patches
  ☆19Updated 11 years ago
• linux4sam / u-boot-at91
  U-boot for Microchip SoC (aka AT91)
  ☆52Updated last week
• wwwllllllll / bcm-wiced-sdk
  WICED SDK Releases from Broadcom
  ☆32Updated 10 years ago
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆56Updated 8 years ago
• MarkDing / sim3u1xx_Bootloader
  Bootloader for ARM Cortex M3 UART interface
  ☆48Updated 10 years ago
• embedded2014 / freertos-stm32
  STM32F429 port of FreeRTOS
  ☆19Updated 10 years ago
• EmcraftSystems / linux-emcraft
  uClinux for Cortex-M3 and Cortex-M4, version 2.6.33
  ☆267Updated 2 years ago
• jserv / dummy-driver
  dummy Linux kernel module for education purpose
  ☆12Updated 10 years ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆52Updated 11 years ago
• coocox / CoOS
  CooCox CoOS is an embedded real-time multi-task OS specially for ARM Cortex M series.
  ☆88Updated 10 years ago