littlekernel / lkLinks
LK embedded kernel
☆3,408Updated last week
Alternatives and similar repositories for lk
Users that are interested in lk are comparing it to the libraries listed below
Sorting:
- The seL4 microkernel☆5,031Updated last week
- Read-only mirror of Trusted Firmware-A☆2,094Updated last week
- Trusted side of the TEE☆1,747Updated this week
- Linux-based partitioning hypervisor☆1,842Updated last year
- Application Binary Interface for the Arm® Architecture☆1,113Updated this week
- "Das U-Boot" Source Tree☆4,615Updated last week
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,267Updated last year
- Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.☆2,425Updated last week
- picolibc - a C library designed for embedded 32- and 64- bit systems.☆1,383Updated this week
- Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…☆3,105Updated last week
- Devicetree Specification document source files☆983Updated 2 months ago
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,162Updated 3 years ago
- The Elixir Cross Referencer☆1,089Updated last month
- toybox☆2,674Updated last week
- A Tiny Linux-Compatible Kernel☆2,938Updated 2 weeks ago
- 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,243Updated 10 months ago
- Minoca operating system☆2,752Updated 3 years ago
- The historical uIP sources☆945Updated 8 years ago
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆694Updated 5 years ago
- Main development repository for TinyOS (an OS for embedded, wireless devices).☆1,460Updated last year
- Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.☆3,244Updated 3 weeks ago
- PicoTCP is a free TCP/IP stack implementation☆1,262Updated last year
- Project ACRN hypervisor☆1,222Updated 3 months ago
- A secure embedded operating system for microcontrollers☆5,954Updated last week
- Linux Driver Template☆529Updated last month
- All CPU and MCU documentation in one place☆1,951Updated 2 years ago
- A portable microkernel-based multiserver operating system written from scratch.☆1,491Updated last week
- Xvisor: eXtensible Versatile hypervISOR☆589Updated 3 months ago
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems☆698Updated this week
- Modular and configurable OS for embedded applications☆1,413Updated this week