Alternatives and similar repositories for f9-kernel:

Users that are interested in f9-kernel are comparing it to the libraries listed below

• jserv / codezero
  Codezero Microkernel
  ☆108Updated 3 years ago
• PikoRT / pikoRT
  A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
  ☆316Updated last year
• jserv / amacc
  Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
  ☆1,034Updated 4 months ago
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆201Updated 7 years ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆281Updated 5 years ago
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆56Updated 8 years ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆569Updated last week
• jserv / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM from scratch
  ☆1,132Updated 3 years ago
• insane-adding-machines / frosted
  Frosted: Free POSIX OS for tiny embedded devices
  ☆218Updated last year
• bravegnu / gnu-eprog
  Embedded Programming with the GNU Toolchain
  ☆308Updated 5 years ago
• beckus / qemu_stm32
  QEMU with an STM32 microcontroller implementation
  ☆533Updated last year
• jserv / min-dl
  minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64
  ☆187Updated 7 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆144Updated 4 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆98Updated 10 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆174Updated 5 years ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆72Updated 6 years ago
• bminor / newlib
  Unofficial mirror of sourceware newlib repository. Updated daily.
  ☆267Updated this week
• cjlano / freertos
  FreeRTOS SVN clone
  ☆219Updated 6 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆120Updated this week
• kelvinlawson / atomthreads
  Lightweight, Portable RTOS Scheduler
  ☆422Updated 4 years ago
• jserv / kernel-in-kernel
  Develop your own OS kernel by reusing Linux infrastructure
  ☆172Updated 9 years ago
• gkostka / lwext4
  ext2/ext3/ext4 filesystem library for microcontrollers
  ☆514Updated last year
• LdB-ECM / Raspberry-Pi
  My public Baremetal Raspberry Pi code
  ☆318Updated 5 years ago
• jserv / MazuCC
  A minimalist C compiler with x86_64 code generation
  ☆527Updated 4 years ago
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆133Updated 6 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆85Updated this week
• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆394Updated 2 months ago
• NienfengYao / armv8-bare-metal
  ☆103Updated 6 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆291Updated 2 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆180Updated last year