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,807Updated last week
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆1,989Updated 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,224Updated 3 months ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,910Updated 2 years ago
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,779Updated 7 months ago
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,014Updated this week
• contiki-os / contiki
  The official git repository for Contiki, the open source OS for the Internet of Things
  ☆3,730Updated 9 months ago
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,608Updated 4 years ago
• tass-belgium / picotcp
  PicoTCP is a free TCP/IP stack implementation
  ☆1,204Updated last year
• RIOT-OS / RIOT
  RIOT - The friendly OS for IoT
  ☆5,386Updated this week
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,058Updated 3 months ago
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆991Updated last week
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆556Updated 5 months ago
• aws / amazon-freertos
  DEPRECATED - See README.md
  ☆2,544Updated 2 years ago
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,092Updated 9 months ago
• littlefs-project / littlefs
  A little fail-safe filesystem designed for microcontrollers
  ☆5,354Updated 3 weeks ago
• rui314 / 8cc
  A Small C Compiler
  ☆6,191Updated 8 months ago
• rswier / c4
  C in four functions
  ☆9,920Updated last year
• apache / mynewt-core
  An OS to build, deploy and securely manage billions of devices
  ☆842Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,195Updated 4 months ago
• 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,843Updated this week
• mirror / busybox
  BusyBox mirror
  ☆1,693Updated 3 months ago
• jserv / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM from scratch
  ☆1,083Updated 3 years ago
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,179Updated this week
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆686Updated 5 years ago
• projectacrn / acrn-hypervisor
  Project ACRN hypervisor
  ☆1,172Updated 3 weeks ago
• crosstool-ng / crosstool-ng
  A versatile (cross-)toolchain generator.
  ☆2,183Updated last week
• dwelch67 / raspberrypi
  Raspberry Pi ARM based bare metal examples
  ☆2,726Updated last year