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
  ☆5,231Updated 2 weeks ago
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,152Updated 2 weeks ago
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,845Updated this week
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,173Updated 3 weeks ago
• RTEMS / rtems
  Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems
  ☆715Updated last week
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆709Updated 6 years ago
• OP-TEE / optee_os
  Trusted side of the TEE
  ☆1,810Updated this week
• tass-belgium / picotcp
  PicoTCP is a free TCP/IP stack implementation
  ☆1,286Updated 2 years 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…
  ☆3,258Updated this week
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,901Updated last year
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,969Updated 3 years ago
• crosstool-ng / crosstool-ng
  A versatile (cross-)toolchain generator.
  ☆2,409Updated 2 months ago
• dwelch67 / raspberrypi
  Raspberry Pi ARM based bare metal examples
  ☆2,785Updated 2 years ago
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆1,015Updated last month
• landley / toybox
  toybox
  ☆2,996Updated 3 weeks ago
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,367Updated last year
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,134Updated last month
• tinyos / tinyos-main
  Main development repository for TinyOS (an OS for embedded, wireless devices).
  ☆1,478Updated 2 months 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,256Updated last year
• jakogut / tinyvm
  TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
  ☆3,299Updated 6 years ago
• adamdunkels / uip
  The historical uIP sources
  ☆1,060Updated 8 years ago
• mirror / busybox
  BusyBox mirror
  ☆1,982Updated last year
• minoca / os
  Minoca operating system
  ☆2,762Updated 4 years ago
• genodelabs / genode
  Genode OS Framework
  ☆1,193Updated 2 weeks ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆597Updated last month
• eclipse-threadx / threadx
  Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
  ☆3,327Updated last month
• gkostka / lwext4
  ext2/ext3/ext4 filesystem library for microcontrollers
  ☆557Updated last year
• projectacrn / acrn-hypervisor
  Project ACRN hypervisor
  ☆1,246Updated last week
• apache / mynewt-core
  An OS to build, deploy and securely manage billions of devices
  ☆873Updated 2 weeks 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…
  ☆6,366Updated 2 weeks ago