Alternatives and similar repositories for lk

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

• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,159Updated last week
• seL4 / seL4
  The seL4 microkernel
  ☆5,261Updated last week
• tinyos / tinyos-main
  Main development repository for TinyOS (an OS for embedded, wireless devices).
  ☆1,479Updated 2 months ago
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,182Updated this week
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,139Updated last month
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,893Updated this week
• checkedc / checkedc
  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…
  ☆3,259Updated last year
• adamdunkels / uip
  The historical uIP sources
  ☆1,067Updated 9 years ago
• eclipse-threadx / threadx
  Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
  ☆3,340Updated 2 weeks ago
• mirror / busybox
  BusyBox mirror
  ☆1,997Updated last year
• tass-belgium / picotcp
  PicoTCP is a free TCP/IP stack implementation
  ☆1,289Updated 2 years ago
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆1,022Updated last month
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,971Updated 3 years ago
• OP-TEE / optee_os
  Trusted side of the TEE
  ☆1,819Updated this week
• minoca / os
  Minoca operating system
  ☆2,760Updated 4 years ago
• RTEMS / rtems
  Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems
  ☆723Updated this week
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,385Updated last year
• picolibc / picolibc
  picolibc - a C library designed for embedded 32- and 64- bit systems.
  ☆1,473Updated this week
• landley / toybox
  toybox
  ☆3,017Updated last week
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆3,048Updated last week
• martinezjavier / ldd3
  Linux Device Drivers 3 examples updated to work in recent kernels
  ☆2,551Updated 8 months ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆6,185Updated last week
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆708Updated this week
• contiki-os / contiki
  The official git repository for Contiki, the open source OS for the Internet of Things
  ☆3,790Updated last year
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,453Updated last year
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆852Updated last month
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,903Updated last year
• jserv / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM from scratch
  ☆1,198Updated last month
• apache / mynewt-core
  An OS to build, deploy and securely manage billions of devices
  ☆877Updated last week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,528Updated last month