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,955Updated this week
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,062Updated last week
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,123Updated 7 months ago
• crosstool-ng / crosstool-ng
  A versatile (cross-)toolchain generator.
  ☆2,282Updated this week
• TinyCC / tinycc
  Unofficial mirror of mob development branch
  ☆2,306Updated last week
• coreboot / coreboot
  Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.
  ☆2,362Updated this week
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆2,455Updated 3 months ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,934Updated 2 years ago
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,457Updated 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,236Updated 7 months ago
• tass-belgium / picotcp
  PicoTCP is a free TCP/IP stack implementation
  ☆1,250Updated last year
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,067Updated 2 weeks ago
• eclipse-threadx / threadx
  Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
  ☆3,175Updated last week
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,817Updated last year
• OP-TEE / optee_os
  Trusted side of the TEE
  ☆1,715Updated this week
• landley / toybox
  toybox
  ☆2,596Updated this week
• FreeRTOS / FreeRTOS
  'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
  ☆6,044Updated this week
• 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…
  ☆2,999Updated this week
• dwelch67 / raspberrypi
  Raspberry Pi ARM based bare metal examples
  ☆2,746Updated last year
• embox / embox
  Modular and configurable OS for embedded applications
  ☆1,388Updated this week
• includeos / IncludeOS
  A minimal, resource efficient unikernel for cloud services
  ☆5,133Updated 6 months ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆692Updated 5 years ago
• rui314 / 8cc
  A Small C Compiler
  ☆6,250Updated last year
• jserv / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM from scratch
  ☆1,148Updated 3 years ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,800Updated this week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,466Updated 3 weeks ago
• mirror / busybox
  BusyBox mirror
  ☆1,790Updated 8 months ago
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆952Updated this week
• picolibc / picolibc
  picolibc - a C library designed for embedded 32- and 64- bit systems.
  ☆1,336Updated last week
• littlefs-project / littlefs
  A little fail-safe filesystem designed for microcontrollers
  ☆5,860Updated this week