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,018Updated this week
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,089Updated this week
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,838Updated last year
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,244Updated last year
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,100Updated 2 weeks 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,080Updated this week
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,081Updated last week
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,575Updated this week
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆972Updated 2 months ago
• crosstool-ng / crosstool-ng
  A versatile (cross-)toolchain generator.
  ☆2,319Updated this week
• picolibc / picolibc
  picolibc - a C library designed for embedded 32- and 64- bit systems.
  ☆1,370Updated 2 weeks ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆695Updated 5 years ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,949Updated 2 years ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆585Updated 2 months ago
• OP-TEE / optee_os
  Trusted side of the TEE
  ☆1,744Updated this week
• coreboot / coreboot
  Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.
  ☆2,410Updated 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,244Updated 9 months ago
• embox / embox
  Modular and configurable OS for embedded applications
  ☆1,409Updated this week
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,150Updated 9 months ago
• RTEMS / rtems
  Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems
  ☆694Updated this week
• apache / nuttx
  Apache NuttX is a mature, real-time embedded operating system (RTOS)
  ☆3,423Updated this week
• tinyos / tinyos-main
  Main development repository for TinyOS (an OS for embedded, wireless devices).
  ☆1,458Updated last year
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,485Updated last month
• linux-test-project / ltp
  Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)
  ☆2,450Updated this week
• genodelabs / genode
  Genode OS Framework
  ☆1,135Updated this week
• projectacrn / acrn-hypervisor
  Project ACRN hypervisor
  ☆1,219Updated 2 months ago
• jserv / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM from scratch
  ☆1,161Updated 3 years ago
• qemu / qemu
  Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…
  ☆11,759Updated this week
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆2,924Updated last week
• mirror / busybox
  BusyBox mirror
  ☆1,847Updated 10 months ago