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,908Updated last week
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,418Updated this week
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,050Updated this week
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,925Updated 2 years ago
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,050Updated last 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,971Updated this week
• embox / embox
  Modular and configurable OS for embedded applications
  ☆1,373Updated last 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,235Updated 7 months ago
• eclipse-threadx / threadx
  Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
  ☆3,150Updated 3 weeks ago
• FreeRTOS / FreeRTOS
  'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
  ☆5,940Updated last week
• tass-belgium / picotcp
  PicoTCP is a free TCP/IP stack implementation
  ☆1,243Updated last year
• picolibc / picolibc
  picolibc - a C library designed for embedded 32- and 64- bit systems.
  ☆1,322Updated this week
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆942Updated last month
• libfuse / libfuse
  The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
  ☆5,623Updated this week
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆726Updated last week
• coreboot / coreboot
  Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.
  ☆2,346Updated this week
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,181Updated last year
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,802Updated 11 months ago
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,045Updated last week
• projectacrn / acrn-hypervisor
  Project ACRN hypervisor
  ☆1,198Updated 3 weeks ago
• dwelch67 / raspberrypi
  Raspberry Pi ARM based bare metal examples
  ☆2,745Updated last year
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆691Updated 5 years ago
• FreeRTOS / FreeRTOS-Kernel
  FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
  ☆3,201Updated this week
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆8,234Updated this week
• clibs / clib
  Package manager for the C programming language.
  ☆4,973Updated last month
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,116Updated 7 months ago
• landley / toybox
  toybox
  ☆2,575Updated last week
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,163Updated last week
• genodelabs / genode
  Genode OS Framework
  ☆1,116Updated this week
• christinaa / rpi-open-firmware
  Open source VPU side bootloader for Raspberry Pi.
  ☆4Updated 3 years ago