Alternatives and similar repositories for mkernel

Users that are interested in mkernel are comparing it to the libraries listed below

• kaos / ecos
  ☆22Updated 13 years ago
• reclone / kconfig-frontends-win32
  Linux Kernel configuration tools - Windows Port
  ☆18Updated 3 years ago
• djboni / librertos
  LibreRTOS C/C++ Portable Single-Stack RTOS
  ☆42Updated 2 years ago
• x893 / picoC
  picoC port for STM32 and EFM32 processors
  ☆45Updated 12 years ago
• prattmic / F4OS
  A small RTOS for ARM Cortex-M4F microcontrollers.
  ☆86Updated 7 years ago
• uvc-ingenieure / kconfig-frontends
  Linux Kernel configuration tools - Windows Port
  ☆21Updated 11 years ago
• DuinOS / DuinOS
  Fork from original DuinOS, but updated with FreeRTOS 7.4.0 and Arduino 1.5.x and 1.0.x
  ☆74Updated 5 years ago
• stef / stfs
  st filesystem for embedded flash systems
  ☆12Updated 8 years ago
• nxp-archive / eGUI
  eGUI embedded graphic library
  ☆81Updated 8 years ago
• larryhe / tiny-c-interpreter
  this is a github mirror of picoC (http://code.google.com/p/picoc/)
  ☆84Updated 13 years ago
• linux4sam / egt
  Ensemble Graphics Toolkit - Modern C++ GUI Toolkit for Microprocessors
  ☆69Updated last month
• phoenix-rtos / phoenix-rtos-devices
  Phoenix-RTOS device drivers repository
  ☆23Updated last week
• TheShed / OpenOCD-CMSIS-DAP
  Development of CMSIS-DAP support for OpenOCD
  ☆34Updated 12 years ago
• espressif / kconfig-frontends
  Fork of kconfig-frontends project with some modifications for use with ESP-IDF
  ☆18Updated 6 years ago
• uxvworks / osal_free
  OSAL free operating system abstraction for embedded systems. Supports pthreads, freertos, chibios, coocox, bertos and more... RTOS
  ☆14Updated 11 years ago
• stateos / DemOS
  Free, simple, extremely lightweight, stackless, cooperative, co-routine system (OS) for microcontrollers
  ☆18Updated 3 weeks ago
• mdepx / mdepx
  MDX — A bare-metal / RTOS framework
  ☆28Updated this week
• frantony / barebox
  ☆33Updated last year
• oosmos / oosmos
  OOSMOS - The Object Oriented State Machine Operating System.
  ☆69Updated 2 weeks ago
• pellepl / niffs
  Wear leveled embedded NOR internal flash file system
  ☆30Updated 8 years ago
• picoos / picoos
  pico]OS realtime operating system
  ☆67Updated 4 years ago
• martijnthe / qemu_stm32
  QEMU emulation of the STM32F2XX
  ☆17Updated 12 years ago
• rqbh / RTGUI
  GUI component for RT-Thread
  ☆28Updated 2 years ago
• apache / mynewt-nffs
  Apache NFFS filesystem
  ☆36Updated last year
• jameswalmsley / kconfig-frontends
  Git Mirror of Yann Morin's kconfig-frontends project
  ☆19Updated 12 years ago
• brainflux / klibc
  minimal libc
  ☆24Updated 13 years ago
• lepton-distribution / lepton
  Automatically exported from code.google.com/p/lepton
  ☆26Updated 7 months ago
• devdnl / dnx-rtos
  Small UNIX-like Real Time Operating System based on FreeRTOS kernel.
  ☆17Updated 3 years ago
• uclinux-dev / elf2flt
  ELF to bFLT (binary flat) converter for no-mmu Linux targets
  ☆80Updated last year
• RoostTech / FemtoOS
  "a very concise portable real time - preemptive operating system"
  ☆25Updated 11 years ago