Alternatives and similar repositories for lk

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

• seL4 / seL4
  The seL4 microkernel
  ☆5,187Updated last week
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,135Updated this week
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,148Updated last week
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,793Updated this week
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,888Updated last year
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆1,002Updated 6 months ago
• picolibc / picolibc
  picolibc - a C library designed for embedded 32- and 64- bit systems.
  ☆1,433Updated last week
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,963Updated 3 years ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆707Updated 5 years ago
• landley / toybox
  toybox
  ☆2,974Updated this week
• RTEMS / rtems
  Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems
  ☆708Updated this week
• adamdunkels / uip
  The historical uIP sources
  ☆1,050Updated 8 years ago
• eclipse-threadx / threadx
  Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
  ☆3,309Updated last week
• mirror / busybox
  BusyBox mirror
  ☆1,959Updated last year
• tinyos / tinyos-main
  Main development repository for TinyOS (an OS for embedded, wireless devices).
  ☆1,479Updated last month
• crosstool-ng / crosstool-ng
  A versatile (cross-)toolchain generator.
  ☆2,389Updated last month
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,338Updated last year
• buildroot / buildroot
  Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…
  ☆3,233Updated this week
• embox / embox
  Modular and configurable OS for embedded applications
  ☆1,458Updated last week
• OP-TEE / optee_os
  Trusted side of the TEE
  ☆1,793Updated last week
• ARMmbed / mbed-os
  Arm Mbed OS is a platform operating system designed for the internet of things
  ☆4,797Updated last year
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆593Updated 2 weeks ago
• beckus / qemu_stm32
  QEMU with an STM32 microcontroller implementation
  ☆547Updated last year
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,122Updated this week
• apache / mynewt-core
  An OS to build, deploy and securely manage billions of devices
  ☆872Updated this week
• genodelabs / genode
  Genode OS Framework
  ☆1,181Updated last week
• makelinux / ldt
  Linux Driver Template
  ☆534Updated 4 months ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆804Updated this week
• FreeRTOS / FreeRTOS-Kernel
  FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
  ☆3,681Updated 3 weeks ago
• minoca / os
  Minoca operating system
  ☆2,756Updated 3 years ago