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
  ☆4,982Updated last week
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,492Updated this week
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,075Updated last week
• picolibc / picolibc
  picolibc - a C library designed for embedded 32- and 64- bit systems.
  ☆1,339Updated last week
• eclipse-threadx / threadx
  Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
  ☆3,196Updated last month
• 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,025Updated this week
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆8,094Updated this week
• landley / toybox
  toybox
  ☆2,619Updated 2 weeks ago
• crosstool-ng / crosstool-ng
  A versatile (cross-)toolchain generator.
  ☆2,293Updated last week
• mirror / busybox
  BusyBox mirror
  ☆1,812Updated 8 months ago
• adamdunkels / uip
  The historical uIP sources
  ☆934Updated 8 years ago
• clibs / clib
  Package manager for the C programming language.
  ☆5,007Updated 2 months ago
• unicorn-engine / unicorn
  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
  ☆8,266Updated last week
• nanopb / nanopb
  Protocol Buffers with small code size
  ☆4,720Updated this week
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆958Updated 3 weeks ago
• tinyos / tinyos-main
  Main development repository for TinyOS (an OS for embedded, wireless devices).
  ☆1,451Updated last year
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,220Updated last year
• tass-belgium / picotcp
  PicoTCP is a free TCP/IP stack implementation
  ☆1,254Updated last year
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,852Updated this week
• jakogut / tinyvm
  TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
  ☆3,263Updated 6 years ago
• littlefs-project / littlefs
  A little fail-safe filesystem designed for microcontrollers
  ☆5,919Updated 2 weeks ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆693Updated 5 years ago
• 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,237Updated 8 months ago
• apache / nuttx
  Apache NuttX is a mature, real-time embedded operating system (RTOS)
  ☆3,371Updated this week
• FreeRTOS / FreeRTOS
  'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
  ☆6,093Updated last week
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,076Updated 2 weeks ago
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,067Updated this week
• genodelabs / genode
  Genode OS Framework
  ☆1,125Updated this week
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,941Updated 2 years ago
• Mbed-TLS / mbedtls
  An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Relea…
  ☆5,944Updated this week